LEADER 04570nam 22007095 450 001 996466288503316 005 20200703085840.0 010 $a3-319-60225-X 024 7 $a10.1007/978-3-319-60225-7 035 $a(CKB)4340000000061577 035 $a(DE-He213)978-3-319-60225-7 035 $a(MiAaPQ)EBC6295593 035 $a(MiAaPQ)EBC5578958 035 $a(Au-PeEL)EBL5578958 035 $a(OCoLC)990184990 035 $a(PPN)202990893 035 $a(EXLCZ)994340000000061577 100 $a20170527d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /$fedited by Ahmed Bouajjani, Alexandra Silva 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 243 p. 50 illus.) 225 1 $aProgramming and Software Engineering ;$v10321 311 $a3-319-60224-1 327 $aSession types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. 330 $aThis book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 410 0$aProgramming and Software Engineering ;$v10321 606 $aComputer logic 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer communication systems 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer communication systems. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Communication Networks. 676 $a004.36 702 $aBouajjani$b Ahmed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSilva$b Alexandra$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466288503316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$91905204 997 $aUNISA LEADER 01038nam a2200253 i 4500 001 991000697279707536 005 20020509174241.0 008 010514s1974 it ||| | ita 035 $ab11396799-39ule_inst 035 $aPARLA213536$9ExL 040 $aDip.to Filosofia$bita 082 0 $a651.8 100 1 $aMoro, Alessandro$0372103 245 10$aTrattamento automatico delle informazioni :$bi centri meccanografici, gli elaboratori elettronici, tecniche di programmazione, i diagrammi a blocchi, i linguaggi di programmazione /$cAlessandro Moro 260 $aMilano :$bAngeli,$c1974 300 $a361 p. :$bill. ;$c22 cm. 490 0 $aManuali professionali ;$v36 650 4$aElaborazione dei dati 907 $a.b11396799$b01-03-17$c01-07-02 912 $a991000697279707536 945 $aLE005IF XXXV G 2$g1$iLE005IFA-9397$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11583137$z01-07-02 996 $aTrattamento automatico delle informazioni$9510228 997 $aUNISALENTO 998 $ale005$b01-01-01$cm$da $e-$fita$git $h0$i1 LEADER 04725nam 2200577 450 001 9910820578403321 005 20230803210444.0 010 $a90-8890-276-3 035 $a(CKB)3710000000291712 035 $a(EBL)1869445 035 $a(SSID)ssj0001432430 035 $a(PQKBManifestationID)11778679 035 $a(PQKBTitleCode)TC0001432430 035 $a(PQKBWorkID)11405191 035 $a(PQKB)10491796 035 $a(MiAaPQ)EBC1869445 035 $a(Au-PeEL)EBL1869445 035 $a(CaPaEBR)ebr10993766 035 $a(OCoLC)897070525 035 $a(EXLCZ)993710000000291712 100 $a20141217h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aBreaking with tradition $ecultural influences for the decline of the Circum-Alpine region lake-dwellings /$fBenjamin Jennings 210 1$aLeiden, Netherlands :$cSidestone Press,$d2014. 210 4$d©2014 215 $a1 online resource (210 p.) 300 $aDescription based upon print version of record. 311 $a90-8890-275-5 320 $aIncludes bibliographical references. 327 $aList of figures; List of tables; Introduction; 1.1 The Circum-Alpine region; 1.1.1 Archaeology; 1.1.1.1 Lake-dwelling hiatus; 1.1.1.2 The Late Bronze - Early Iron Age abandonment; 1.2 Chronologies and cultures; 1.3 Data sources; 1.4 The issue of disappearance; Theoretical Development; 2.1 Relational theory; 2.2 The biography of objects; 2.3 Cultural memory; 2.4 Theories of trade and exchange; 2.4.1 Cultural change; 2.5 Application of the theoretical framework; 2.5.1 The problems of ethnographic analogy; Prehistoric European Trade Routes; 3.1 European long-distance trade routes 327 $a3.2 The lake-dwelling connectionExchange and Biographies of Objects in the Northern Circum-Alpine Region; 4.1 Biographies of objects; 4.1.1 Glass and amber jewellery beads; 4.1.2 Ring jewellery; 4.1.3 Swords and spears; 4.1.4 Knives and razors; 4.1.5 Late Bronze Age to Iron Age biographical changes; 4.2 Material indications of cultural change?; 4.2.1 Keys north of the Alps; 4.2.2 Weights; Immovable Material Culture; 5.1 What is a lake-dwelling?; 5.1.1 Why were lake-dwellings occupied?; 5.2 Northern Circum-Alpine region lake-dwellings; 5.2.1 U?rschhausen-Horn; 5.2.2 Greifensee-Bo?schen 327 $a5.2.3 Wasserburg-Buchau5.2.4 Oggelshausen-Bruckgraben; 5.3 Settlement biographies; 5.3.1 Lake-settlement areas of the northern Circum-Alpine region; 5.3.1.1 Lake Feder; 5.3.1.2 Zurich Bay; 5.3.1.3 Lake Greifen and Lake Pfa?ffikon; 5.3.1.4 Lake Chalain; 5.3.1.5 Lake Constance; 5.3.2 Inland settlements of the Late Bronze Age and Iron Age in the northern Circum-Alpine region; 5.3.3 Biographies of Lake-Settlements; 5.4 Settlement visibility; Religion, Rituals, and Symbolism; 6.1 Burial Practices; 6.2 Artefact deposition practices; 6.2.1 Hoards; 6.2.2 Single item depositions 327 $a6.2.3 Purposes of object deposition6.3 'Ritual' material culture; 6.3.1 Firedogs or 'moon idols'?; 6.3.2 Drinking vessels; 6.3.3 Symbolism; 6.4 Comprehending 'ritual' aspects in the northern Circum-Alpine lake-dwelling region; Trade as Influence for Cultural Change in the Northern Circum-Alpine Region?; 7.1 Narratives of social change in lake-dwelling communities; Final Reflections: Cultural vs. Environmental Change in the Lake-Dwelling Abandonment?; 8.1 Cultural influence in the Late Bronze Age lake-dwelling abandonment?; 8.2 Future research directions; Appendix 1 327 $aList of sites for Figure 5.11Appendix 2; List of sites for Figure 5.12; Appendix 3; List of sites for Figure 6.1; Bibliography; Blank Page; Blank Page 330 $aOver 150 years of research in the Circum-Alpine region have produced a vast amount of data on the lakeshore and wetland settlements found throughout the area. Particularly in the northern region, dendrochronological studies have provided highly accurate sequences of occupation, which have correlated, in turn, to palaeoclimatic reconstructions in the area. The result has been the general conclusion that the lake-dwelling tradition was governed by climatic factors, with communities abandoning the lakeshore during periods of inclement conditions, and returning when the climate was more favourable 607 $aAlps$xHistory$vCongresses 607 $aAlps, Italian (Italy)$xAntiquities$vCongresses 607 $aAlps$xAntiquities$vCongresses 676 $a949.47 700 $aJennings$b Benjamin$01712476 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910820578403321 996 $aBreaking with tradition$94104659 997 $aUNINA