03977nam 22007095 450 99646572800331620200701105446.03-540-46758-010.1007/BFb0015032(CKB)1000000000233461(SSID)ssj0000321131(PQKBManifestationID)11255490(PQKBTitleCode)TC0000321131(PQKBWorkID)10263541(PQKB)11100361(DE-He213)978-3-540-46758-8(PPN)155182374(EXLCZ)99100000000023346120121227d1989 u| 0engurnn|008mamaatxtccrAlgebraic Methods: Theory, Tools and Applications[electronic resource] /edited by Martin Wirsing, Jan A. Bergstra1st ed. 1989.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1989.1 online resource (VIII, 564 p.) Lecture Notes in Computer Science,0302-9743 ;394Bibliographic Level Mode of Issuance: Monograph3-540-51698-0 Algebraic specification a step towards future software engineering -- How to make algebraic specifications more understandable? -- Efficient implementation of an algebraic specification language -- An integrated algebraic approach to the specification of data types, processes and objects -- Software specification by behavioural canons -- An introduction to COLD-K -- A formal specification of INGRES -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD specifications -- A specification of the intel 8085 microprocessor: A case study -- Specification and prototyping of a compiler for a small applicative language -- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype -- ACP? a universal axiom system for process specification -- Modular specifications in process algebra -- An algebraic specification of process algebra, including two examples.Lecture Notes in Computer Science,0302-9743 ;394Software engineeringProgramming languages (Electronic computers)Computer programmingComputer communication systemsComputer logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Programming languages (Electronic computers).Computer programming.Computer communication systems.Computer logic.Software Engineering.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Computer Communication Networks.Logics and Meanings of Programs.005.1Wirsing Martinedthttp://id.loc.gov/vocabulary/relators/edtBergstra Jan Aedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465728003316Algebraic methods343804UNISA00896nam a2200241 i 450099100037407970753620020509165624.0010523s|||| it ||| | ita 8846421000b11348082-39ule_instPARLA206905ExLDip.to FilosofiaitaNicosia, Fabio Massimo250963Il sovrano occulto :lo Stato di diritto tra governo dell'uomo e governo della legge /Fabio Massimo NicosiaMilano :FrancoAngeli,2000314 p. ;23 cm.Sociologia del diritto ;34.b1134808201-03-1701-07-02991000374079707536LE005 MF 51 F 3012005000120695le005-E0.00-l- 00000.i1152388801-07-02Sovrano occulto825048UNISALENTOle00501-01-01ma -itait 3102997nam 2200613 a 450 991078004530332120230713201612.01-282-32648-197866123264861-4106-0653-8(CKB)111056486642332(EBL)357939(OCoLC)476182978(SSID)ssj0000102030(PQKBManifestationID)11124554(PQKBTitleCode)TC0000102030(PQKBWorkID)10050583(PQKB)10322891(MiAaPQ)EBC357939(Au-PeEL)EBL357939(CaPaEBR)ebr10263536(CaONFJC)MIL588690(EXLCZ)9911105648664233220020123d2002 uy 0engur|n|---|||||txtrdacontentcrdamediacrrdacarrierAmerican dreams, global visions dialogic teacher research with refugee and immigrant families /editor, Donald F. HonesMahwah, N.J. :L. Erlbaum Associates,2002.1 online resource (215 pages) illustrations, mapsSociocultural, political, and historical studies in education0-8058-3708-6 0-8058-3707-8 Includes bibliographical references (p. 177-188) and indexes.Book Cover; Title; Copyright; Contents; Tables and Maps; Preface; I Dialogic Teacher Research; 1 Dialogues of Cultural and Educational Change; 2 Dialogic Teacher Research With Family Narratives; II Family Narratives; 3 A Hmong Family; 4 A Mexican Family; 5 An Assyrian Family; 6 A Kosovar Family; III Extending the Dialogue; 7 Extending the Dialogue: Pathways for Change; Appendix A The "Bully 4-U!" Award; Appendix B Escuche Bien, Amigo; References; Author Index; Subject IndexThis book presents the struggle for dialogue and understanding between teachers and refugee and immigrant families, in their own words. Forging a stronger connection between teachers, newcomers, and their families is one of the greatest challenges facing schools in the United States. Teachers need to become familiar with the political, economic, and sociocultural contexts of these newcomers' lives, and the role of the U.S. in influencing these contexts in positive and negative ways.Sociocultural, political, and historical studies in education.Immigrant familiesWisconsinOshkoshCase studiesRefugeesWisconsinOshkoshCase studiesAction research in educationWisconsinOshkoshCase studiesImmigrant familiesRefugeesAction research in education305.9/0691/0977564Hones Donald F1569447MiAaPQMiAaPQMiAaPQBOOK9910780045303321American dreams, global visions3842372UNINA