LEADER 02175nam 2200541 450 001 9910460448003321 005 20200520144314.0 010 $a1-61164-396-1 035 $a(CKB)3710000000243947 035 $a(EBL)3416799 035 $a(SSID)ssj0001399275 035 $a(PQKBManifestationID)11729904 035 $a(PQKBTitleCode)TC0001399275 035 $a(PQKBWorkID)11450753 035 $a(PQKB)11134108 035 $a(MiAaPQ)EBC3416799 035 $a(Au-PeEL)EBL3416799 035 $a(CaPaEBR)ebr10935007 035 $a(OCoLC)923512633 035 $a(EXLCZ)993710000000243947 100 $a20140930h20112011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aI & II Samuel $ea commentary /$fA. Graeme Auld ; book design by Jennifer K. Cox 205 $aFirst edition. 210 1$aLouisville, Kentucky :$cWestminster John Knox Press,$d2011. 210 4$d©2011 215 $a1 online resource (710 p.) 225 1 $aOld Testament Library 300 $aDescription based upon print version of record. 311 $a0-664-23971-4 320 $aIncludes bibliographical references and indexes. 327 $a""CONTENTS""; ""ACKNOWLEDGMENTS""; ""ABBREVIATIONS""; ""BIBLIOGRAPHY""; ""INTRODUCTION""; ""COMMENTARY 1 Samuel 1a???8 A Fresh Introduction""; ""1 Samuel 9a???16 Two Kings Anointed by Samuel""; ""1 Samuel 17a???24 Saul Rejected, David in Waiting""; ""1 Samuel 25a???2 Samuel 3 End of Saul, Response of David""; ""2 Samuel 4a???9 David Secures His Throne""; ""2 Samuel 10:1a???13:33 Disloyalty and Disaster""; ""2 Samuel 13:34a???20:19 David and Absalom""; ""2 Samuel 20:20a???24:25 Concluding Perspectives""; ""Index of Scripture and Other Ancient Sources""; ""Index of Subjects and Authors"" 410 0$aOld Testament library. 608 $aElectronic books. 676 $a222/.4077 700 $aAuld$b A. Graeme$0897043 702 $aCox$b Jennifer K. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910460448003321 996 $aI & II Samuel$92004279 997 $aUNINA LEADER 03913nam 22007575 450 001 996466250303316 005 20200630095131.0 010 $a3-642-28869-3 024 7 $a10.1007/978-3-642-28869-2 035 $a(CKB)3360000000365947 035 $a(SSID)ssj0000666295 035 $a(PQKBManifestationID)11367690 035 $a(PQKBTitleCode)TC0000666295 035 $a(PQKBWorkID)10682841 035 $a(PQKB)10418665 035 $a(DE-He213)978-3-642-28869-2 035 $a(MiAaPQ)EBC3069950 035 $a(PPN)168313081 035 $a(EXLCZ)993360000000365947 100 $a20120321d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems$b[electronic resource] $e21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /$fedited by Helmut Seidl 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XV, 602 p.) 225 1 $aProgramming and Software Engineering ;$v7211 300 $aInternational conference proceedings. 311 $a3-642-28868-5 320 $aIncludes bibliographical references and author index. 330 $aThis book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution. 410 0$aProgramming and Software Engineering ;$v7211 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer logic 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aSeidl$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS (Conference)$f(2012 :$eTallinn, Estonia) 906 $aBOOK 912 $a996466250303316 996 $aProgramming Languages and Systems$9772032 997 $aUNISA LEADER 02409nam 2200481 450 001 9910813382203321 005 20230118082506.0 010 $a3-657-76994-3 024 7 $a10.30965/9783657769940 035 $a(CKB)4920000000123546 035 $z(OCoLC)757605517 035 $a(nllekb)BRILL9783657769940 035 $a(MiAaPQ)EBC6516881 035 $a(Au-PeEL)EBL6516881 035 $a(OCoLC)1243553195 035 $a(EXLCZ)994920000000123546 100 $a20230118d2010 uy 0 101 0 $ager 135 $aurun####uuuua 181 $ctxt$2rdacontent 182 $cn$2rdamedia 183 $2rdacarrier 200 10$aFriedrich an Den Ufern des Lethe-Flusses $eder Preußenko?nig und das Vergessen /$fJohannes Kunisch 210 1$aPaderborn :$cFerdinand Scho?ningh,$d[2010] 210 4$d©2010 215 $a1 online resource 225 1 $aGeisteswissenschaften ;$vG 424 311 $a3-506-76994-4 327 $aPreliminary Material -- Friedrich an den Ufern des Lethe-Flusses -- Zusammenfassung -- Veröffentlichungen der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste. 330 $aDie Nordrhein-Westfälische Akademie der Wissenschaften und der Künste ist eine Vereinigung der führenden Forscherinnen und Forscher des Landes. Sie wurde 1970 als Nachfolgeeinrichtung der Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen gegründet. Die Akademie ist in drei wissenschaftliche Klassen für Geisteswissenschaften, für Naturwissenschaften und Medizin sowie für Ingenieur- und Wirtschaftswissenschaften und in eine Klasse der Künste gegliedert. Mit Publikationen zu den wissenschaftlichen Vorträgen in den Klassensitzungen, zu öffentlichen Veranstaltungen und Symposien will die Akademie die Fach- und allgemeine Öffentlichkeit über die Arbeiten der Akademie und ihrer Forschungsstellen informieren. 410 0$aGeisteswissenschaften (Opladen, Leverkusen, Germany) ;$vG 424. 606 $aOdes, German$xHistory and criticism 607 $aPrussia (Germany)$xKings and rulers$vBiography 615 0$aOdes, German$xHistory and criticism. 676 $a943.0530924 700 $aKunisch$b Johannes$f1937-2015,$01650912 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813382203321 996 $aFriedrich an Den Ufern des Lethe-Flusses$94000537 997 $aUNINA