LEADER 04910nam 22007215 450 001 9910767529503321 005 20251116233931.0 010 $a3-540-69722-5 024 7 $a10.1007/BFb0053558 035 $a(CKB)1000000000210909 035 $a(SSID)ssj0000325924 035 $a(PQKBManifestationID)11232881 035 $a(PQKBTitleCode)TC0000325924 035 $a(PQKBWorkID)10264833 035 $a(PQKB)10040532 035 $a(DE-He213)978-3-540-69722-0 035 $a(PPN)15521912X 035 $a(EXLCZ)991000000000210909 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems $e7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /$fedited by Chris Hankin 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XI, 289 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1381 300 $aBibliographic Level Mode of Issuance: Monograph 311 1 $a3-540-64302-8 327 $aConcurrent constraint programming based on functional programming -- A bisimulation method for cryptographic protocols -- A polyvariant binding-time analysis for off-line partial deduction -- Verifiable and executable logic specifications of concurrent objects in L_pi -- Complexity of concrete type-inference in the presence of exceptions -- Synchronisation analysis to stop tupling -- Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems -- Reasoning about classes in object-oriented languages: Logical models and tools -- Language primitives and type discipline for structured communication-based programming -- The functional imperative: Shape! -- Code motion and code placement: Just synonyms? -- Recursive object types in a logic of object-oriented programs -- Mode-automata: About modes and states for reactive systems -- From classes to objects via subtyping -- Building a bridge between pointer aliases and program dependences -- A complete declarative debugger of missing answers -- Systematic change of data representation: Program manipulations and a case study -- A generic framework for specialization (abridged version). 330 $aThis book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1381 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aProgramming languages (Electronic computers) 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 676 $a005.1 702 $aHankin$b Chris$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Symposium on Programming. 906 $aBOOK 912 $a9910767529503321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA LEADER 03025oam 2200541M 450 001 9910136148203321 005 20210409103235.0 010 $a1-315-70737-3 010 $a1-317-47965-3 010 $a1-317-47966-1 024 7 $a10.4324/9781315707372 035 $a(CKB)3710000000912532 035 $a(MiAaPQ)EBC4717887 035 $a(OCoLC)970392880 035 $a(OCoLC)1178931225 035 $a(OCoLC-P)1178931225 035 $a(FlBoTFG)9781315707372 035 $a(PPN)250829630 035 $a(EXLCZ)993710000000912532 100 $a20200125d2016 my 0 101 0 $aeng 135 $aur||||||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aCrusader Archaeology$eThe Material Culture of the Latin East /$fAdrian J Boas, Adrian J Boas 205 $aSecond edition. 210 1$aLondon :$cRoutledge,$d2016. 215 $a1 online resource (307 pages) $cillustrations, maps, photographs, tables 311 08$a1-138-90025-7 320 $aIncludes bibliographical references and index. 327 $a1. Background : the crusades and outremer -- 2. The city and urban life -- 3. The rural landscape -- 4. The defence of the Latin East -- 5. Frankish ecclesiastical architecture -- 6. Frankish domestic architecture -- 7. Crafts and minor arts -- 8. The fine arts -- 9. Building techniques and materials -- 10. Medicine -- 11. Burials. 330 $aCrusader Archaeology examines what life was like for European settlers in the Latin East and how they were influenced by their new-found neighbours. Incorporating recent excavation results and the latest research, this new edition updates the only detailed study of the material culture of the Frankish settlers in Israel, Cyprus, Syria and Jordan. Adrian Boas provides comprehensive coverage of the key topics connected to crusader archaeology, including an examination of urban and rural settlements, agriculture, industry, the military, the church, public and private architecture, arts and crafts, leisure pursuits, death and burial and building techniques. There are also entirely new chapters on domestic architecture and disease, injury and medical treatment. Drawing on the extensive experience of an established writer in the field, Crusader Archaeology effectively combines a broad body of material to introduce readers to the archaeological research of the region. This well-illustrated volume is a crucial survey for all those interested in the Middle Ages, and in particular the Crusades. 606 $aCrusades 606 $aExcavations (Archaeology)$zJerusalem 607 $aJerusalem$xHistory$yLatin Kingdom, 1099-1244 607 $aJerusalem$xAntiquities 615 0$aCrusades. 615 0$aExcavations (Archaeology) 676 $a956.014 676 $a956.014 700 $aBoas$b Adrian J.$f1952-$0531951 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910136148203321 996 $aCrusader Archaeology$9899711 997 $aUNINA LEADER 02675oam 2200553 c 450 001 9910413343603321 005 20260202090927.0 010 $a3-8309-8839-7 024 3 $a9783830988397 035 $a(CKB)4930000000057093 035 $a(Waxmann)9783830988397 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/48761 035 $a(oapen)doab48761 035 $a(EXLCZ)994930000000057093 100 $a20260202d2018 uy 0 101 0 $ager 135 $aurnnunnnannuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGottesdienstliche Angebote mit Kindern $eEmpirische Befunde und Perspektiven /$fNicola Bücker, Kirsti Greier, Comenius-Institut, Peter Schreiner 205 $a1st ed. 210 $aMünster$cWaxmann$d2018 215 $a1 online resource (186 p.) 225 0 $aEvangelische Bildungsberichterstattung$v1 311 08$a3-8309-3839-X 330 $aMit dieser Publikation wird zum ersten Mal ein Bildungsbericht zu gottesdienstlichen Angeboten mit Kindern vorgelegt, zu denen beispielsweise Kinder- und Krabbelgottesdienste oder Kinderbibeltage gehören. Der Bericht beruht auf EKD-weit erhobenen repräsentativen Daten und stellt umfassende Informationen zu Strukturen und Beteiligten sowie zur Gestaltung der Angebote bereit. Insbesondere wird die Situation von gottesdienstlichen Angeboten mit Kindern in Ost-und Westdeutschland, die Mitwirkung von ehrenamtlich und beruflich tätigen Mitarbeitenden sowie die Einbindung von Familien thematisiert. Der Bildungsbericht verdeutlicht die Chancen und Herausforderungen, vor denen gottesdienstliche Angebote mit Kindern aktuell stehen. Er bietet eine empirisch fundierte Wissensgrundlage, die sowohl für die Weiterentwicklung der Angebote als auch für deren Darstellung im inner- und außerkirchlichen Kontext genutzt werden kann. 606 $aGottesdienst 606 $aKirche 606 $areligiöse Bildung 606 $aReligionspädagogik 606 $aKrabbelgottesdienst 606 $aSozialpädagogik und Pädagogik der frühen Kindheit 615 4$aGottesdienst 615 4$aKirche 615 4$areligiöse Bildung 615 4$aReligionspädagogik 615 4$aKrabbelgottesdienst 615 4$aSozialpädagogik und Pädagogik der frühen Kindheit 700 $aBücker$b Nicola$4aut$00 701 $aSchreiner$b Peter$0172072 702 $aGreier$b Kirsti$4aut 712 02$aComenius-Institut$4edt 801 0$bWaxmann 801 1$bWaxmann 906 $aBOOK 912 $a9910413343603321 996 $aGottesdienstliche Angebote mit Kindern$92780256 997 $aUNINA