LEADER 01005cam0 2200289 450 001 E600200004671 005 20200505082404.0 100 $a20040914d2004 |||||ita|0103 ba 101 $aita 102 $aIT 200 1 $aEroici furori$fGiordano Bruno$gintr. Michele Ciliberto$c; testo e note Simonetta Bassi 210 $aBari$cLaterza$d2004 215 $aXLII,192 p.$d21 cm 225 2 $aBiblioteca Universale$v432 410 1$1001LAEC00015909$12001 $a*Biblioteca Universale$v432 700 1$aBruno$b, Giordano$3AF00004111$4070$045390 702 1$aBassi, Simonetta$3A600200025693$4070 702 1$aCiliberto, Michele$3AF00012121$4070 801 0$aIT$bUNISOB$c20200505$gRICA 850 $aUNISOB 852 $aUNISOB$j100$m122372 912 $aE600200004671 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a100$b010606$gSI$d122372$racquisto$1catenacci$2UNISOB$3UNISOB$420040914083605.0$520200505082335.0$6Spinosa 996 $aDe gli eroici furori$953200 997 $aUNISOB LEADER 04480nam 22006135 450 001 996466255203316 005 20200630015333.0 010 $a3-540-48361-6 024 7 $a10.1007/3-540-57867-6 035 $a(CKB)1000000000234094 035 $a(SSID)ssj0000326165 035 $a(PQKBManifestationID)11248955 035 $a(PQKBTitleCode)TC0000326165 035 $a(PQKBWorkID)10296202 035 $a(PQKB)11145301 035 $a(DE-He213)978-3-540-48361-8 035 $a(PPN)155187260 035 $a(EXLCZ)991000000000234094 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Trends in Data Type Specification$b[electronic resource] $e9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers /$fedited by Hartmut Ehrig, Fernando Orejas 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (VIII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v785 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57867-6 327 $aTowards an algebraic semantics for the object paradigm -- Rewriting techniques for software engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based kit for defining high-level algebraic Petri nets -- Institutions for very abstract specifications -- About the ?correctness? and ?adequacy? of PLUSS specifications -- Semantic constructions in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL light concepts to Maude -- Algebraic high level nets -- 2-Categorical specification of partial algebras -- A behavioural algebraic framework for modular system design with reuse -- On fibred adjunctions and completeness for fibred categories -- Implementing inequality and nondeterministic specifications with bi-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation of algebraic specifications -- Second-order proof systems for algebraic specification languages -- An institution of object behaviour. 330 $aResearch in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v785 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.7/3 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Specification of Abstract Data Types 906 $aBOOK 912 $a996466255203316 996 $aRecent Trends in Data Type Specification$92829876 997 $aUNISA LEADER 05848nam 22007695 450 001 9910483804903321 005 20251117075935.0 010 $a3-319-10021-1 024 7 $a10.1007/978-3-319-10021-0 035 $a(CKB)3710000000269632 035 $a(EBL)1965342 035 $a(SSID)ssj0001372796 035 $a(PQKBManifestationID)11761817 035 $a(PQKBTitleCode)TC0001372796 035 $a(PQKBWorkID)11305675 035 $a(PQKB)11250934 035 $a(DE-He213)978-3-319-10021-0 035 $a(MiAaPQ)EBC1965342 035 $a(PPN)182094111 035 $a(EXLCZ)993710000000269632 100 $a20141029d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aSpatial Mobility, Migration, and Living Arrangements /$fedited by Can M. Aybek, Johannes Huinink, Raya Muttarak 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (245 p.) 300 $aDescription based upon print version of record. 311 08$a3-319-10020-3 320 $aIncludes bibliographical references at the end of each chapters. 327 $aPreface -- Introduction: Can Aybek, Johannes Huinink and Raya Muttarak: Migration, Spatial Mobility, and Living Arrangements: an Introduction -- Part 1: Union and Family Formation, Partner Choice and International Migration: Can Aybek, Gaby Straßburger & ?lknurYüksel-Kaptano?lu: Marriage Migration from Turkey to Germany: Risks and Coping Strategies of Transnational Couples -- Ceren Topgül: Family Influence on Partner Choice of Second Generation: What are the Experiences of Turkish Origin Women in Switzerland? -- David Glowsky: Fertility in Marriages between German Men and Marriage Migrants -- Part 2: Job-Related Mobility and its Impacts on Consensual Unions and Familial Relationships: Gil Viry & Stéphanie Vincent-Geslin: Under Which Conditions Can Intensive Commuting Be a Way of Life? -- Michael Feldhaus & Monika Schlegel: Living Apart Together and Living Together Apart: Impacts of Partnership-Related and Job-Related Circular Mobility on Partnership Quality -- Stefanie A. Kley: The Impact of Job-Related Mobility and Migration Intentions on Union Dissolution -- Part 3: Spatial Mobility and its Relations with Family Life Course Events and Living Arrangements: Bruno Arpino, Raya Muttarak & AgneseVitali: Comparing Living Arrangements of Immigrant Young Adults in Spain and the US -- Therese Lützelberger: The Residential Independence of Italian and German University Students and Their Perception of the Labour Market -- Michaela Schier: Post-Separation Families: Spatial Mobilities and the Need to Manage Multi-Local Everyday Life -- Nadja Milewski & Anett Loth: Residential Mobility in the Second Half of Life: The Role of Family-Related Transitions and Retirement. 330 $aThis book brings together ten original empirical works focusing on the influence of various types of spatial mobility ? be it international or national? on partnership, family and work life. The contributions cover a range of important topics which focus on understanding how spatial mobility is related to familial relationships and life course transitions. The volume offers new insights by bringing together the state of the art in theoretical and empirical approaches from spatial mobility and international migration research. This includes, for example, studies that investigate the relationships between international migration and changing patterns of partnership choice, family formation and fertility. Complementing to this, this volume presents new empirical studies on job-related residential mobility and its impact on the relationship quality of couples, family life, and union dissolution. It also highlights the importance of research that looks at the reciprocal relationships between mobility and life course events such as young adults leaving the parental home in international migration context, re-arrangements of family life after divorce and spatial mobility of the elderly following life transitions. The scholarly work included in this volume does not only contribute to theoretical debates but also provide timely empirical evidence from various societies which represent the common features in the dynamics of spatial mobility and migration. 606 $aEmigration and immigration 606 $aFamilies 606 $aFamilies?Social aspects 606 $aDemography 606 $aSocial structure 606 $aEquality 606 $aMigration$3https://scigraph.springernature.com/ontologies/product-market-codes/X24000 606 $aFamily$3https://scigraph.springernature.com/ontologies/product-market-codes/X27000 606 $aDemography$3https://scigraph.springernature.com/ontologies/product-market-codes/X25000 606 $aSocial Structure, Social Inequality$3https://scigraph.springernature.com/ontologies/product-market-codes/X22010 615 0$aEmigration and immigration. 615 0$aFamilies. 615 0$aFamilies?Social aspects. 615 0$aDemography. 615 0$aSocial structure. 615 0$aEquality. 615 14$aMigration. 615 24$aFamily. 615 24$aDemography. 615 24$aSocial Structure, Social Inequality. 676 $a300 676 $a304.6 676 $a304.8 676 $a305 676 $a306.85 702 $aAybek$b Can M.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHuinink$b Johannes$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMuttarak$b Raya$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910483804903321 996 $aSpatial Mobility, Migration, and Living Arrangements$92853746 997 $aUNINA