LEADER 04881nam 2200661Ia 450 001 9910461277603321 005 20200520144314.0 010 $a1-280-49614-2 010 $a9786613591371 010 $a90-04-22713-X 035 $a(CKB)2670000000173883 035 $a(EBL)919557 035 $a(OCoLC)794328523 035 $a(SSID)ssj0000664351 035 $a(PQKBManifestationID)11389980 035 $a(PQKBTitleCode)TC0000664351 035 $a(PQKBWorkID)10614194 035 $a(PQKB)10929929 035 $a(MiAaPQ)EBC919557 035 $a(nllekb)BRILL9789004227132 035 $a(PPN)174394209 035 $a(Au-PeEL)EBL919557 035 $a(CaPaEBR)ebr10562462 035 $a(CaONFJC)MIL359137 035 $a(EXLCZ)992670000000173883 100 $a20111227d2012 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe Russian Jewish diaspora and European culture, 1917-1937$b[electronic resource] /$fedited by Jorg Schulte, Olga Tabachnikova, Peter Wagstaff 210 $aLeiden $cBoston : Brill$dc2012 215 $a1 online resource (456 p.) 225 1 $aIJS Studies in Judaica ;$v13 300 $aDescription based upon print version of record. 311 $a90-04-22714-8 320 $aIncludes bibliographical references and index. 327 $tPreliminary Material /$rJörg Schulte , Olga Tabachnikova and Peter Wagstaff --$tRussian-Jewish Cultural Retention in Early Twentieth Century Western Europe: /$rFrançois Guesnet --$tRussian Jewish Translators and Writers Schiller?s Wilhelm Tell in Bialik?s Translation /$rAnat Feinberg --$tBialik?s Translation of Don Quixote (1912/1923) /$rMarianna Prigozhina --$tVogel and the City /$rGlenda Abramson --$tMarginalia of the Hebrew Renaissance: /$rZoya Kopelman --$tInterpretations of Past and Present of Jewish Culture Russian-Jewish Ideas in German Dress: /$rAlbert I. Baumgarten --$tNahum Slouschz (1871?1966) and His Contribution to the Hebrew Renaissance /$rJörg Schulte --$tCultural Anxieties of Russian-Jewish Émigrés: /$rOlga Tabachnikova --$tPin?as Rutenberg and Vladimir Burtsev: /$rVladimir Khazan --$tAn Enclave in Time? Russian-Jewish Berlin Revisited /$rOlaf Terpitz --$tBergelson, Benjamin and Berlin: /$rHarriet Murav --$tNew Sources on Russian Jewish Influences in Music, Art and Publishing If Moscow Were Paris: /$rAgnieszka W. Wierzcholska --$tDer Einfluss der jüdischen kulturellen Renaissance in Osteuropa auf das Musikleben in Wien (1919?1938) /$rJascha Nemtsov --$tThe Graphic Work of Issachar Ber Ryback (1897?1935): /$rSerge-Aljosja Stommels and Albert Lemmens --$t?A Beautiful Lie??Zhar Ptitsa (The Firebird): /$rSusanne Marten-Finnis --$tThe Absence of a Jewish Russian Legacy in France: /$rBoris Czerny --$tIdeology and Identity: /$rChristina Lodder --$tRepositories of the Russian Jewish Diaspora Simon Dubnow and the Question of Jewish Emigration in the Late Nineteenth and Early Twentieth Century /$rViktor Kel?ner --$t?Immortalizing the Crime in History . . .?: /$rEfim Melamed --$tFrom a Russian-Jewish Philanthropic Organization to the ?Glorious Institute of World Jewry?: /$rAlexander Ivanov --$tVladimir (Zeev) Jabotinsky and His Recently Discovered Works: /$rLeonid Katsis --$tIndex of Names /$rJörg Schulte , Olga Tabachnikova and Peter Wagstaff. 330 $aThe Jewish emigration from Russia after the Revolution of 1917 changed the face of Jewish culture in Western Europe. Russian Jews brought with them the visions of a national Jewish literature in Hebrew, Yiddish or Russian, and new concepts of secular Jewish music and art. Often they acted as intermediaries between Jewish centres in Europe, which resulted in the creation of a single sphere of Jewish culture common to all parts of the European diaspora. Although some stayed in Western Europe for only a few years before moving on to Palestine, the budding Hebrew culture in Palestine would not have been the same without this relatively short period of intense contact between Russian Jewish and Western European cultures. 410 0$aIJS studies in Judaica ;$vv. 13. 606 $aJews, Russian$zEurope$xIntellectual life$y20th century$vCongresses 606 $aJews$zRussia$xIntellectual life$y20th century$vCongresses 607 $aRussia$xEthnic relations 608 $aElectronic books. 615 0$aJews, Russian$xIntellectual life 615 0$aJews$xIntellectual life 676 $a305.892/40409041 701 $aSchulte$b Jo?rg$0910831 701 $aTabachnikova$b Olga$f1967-$0910832 701 $aWagstaff$b Peter$0910833 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461277603321 996 $aThe Russian Jewish diaspora and European culture, 1917-1937$92038641 997 $aUNINA LEADER 04458nam 22006375 450 001 9910971116403321 005 20250801083229.0 010 $a1-4471-1494-9 024 7 $a10.1007/978-1-4471-1494-9 035 $a(CKB)3400000000088512 035 $a(SSID)ssj0000805248 035 $a(PQKBManifestationID)11498383 035 $a(PQKBTitleCode)TC0000805248 035 $a(PQKBWorkID)10842167 035 $a(PQKB)11706568 035 $a(DE-He213)978-1-4471-1494-9 035 $a(MiAaPQ)EBC3074773 035 $a(EXLCZ)993400000000088512 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 14$aThe B Language and Method $eA Guide to Practical Formal Development /$fby Kevin Lano 205 $a1st ed. 1996. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d1996. 215 $a1 online resource (VIII, 232 p.) 225 1 $aFormal Approaches to Computing and Information Technology (FACIT) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-76033-4 320 $aIncludes bibliographical references and index. 327 $a1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study ? Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study ? Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for ? -- B.7 Definition of := -- C Proof Techniques. 330 $aB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 410 0$aFormal Approaches to Computing and Information Technology (FACIT) 606 $aSoftware engineering 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 676 $a005.1/2/015113 700 $aLano$b Kevin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746541 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910971116403321 996 $aThe B Language and Method$94430416 997 $aUNINA