03748nam 22007575 450 99646563750331620230220214744.01-280-38680-097866135647263-642-13321-510.1007/978-3-642-13321-3(CKB)2670000000028901(SSID)ssj0000446618(PQKBManifestationID)11298842(PQKBTitleCode)TC0000446618(PQKBWorkID)10497754(PQKB)10752553(DE-He213)978-3-642-13321-3(MiAaPQ)EBC3065463(PPN)149063555(EXLCZ)99267000000002890120100625d2010 u| 0engurnn|008mamaatxtccrMathematics of Program Construction[electronic resource] 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /edited by Claude Bolduc, Jules Desharnais, Bechir Ktari1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 427 p. 57 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6120Bibliographic Level Mode of Issuance: Monograph3-642-13320-7 Includes bibliographical references and index.Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement.Theoretical Computer Science and General Issues,2512-2029 ;6120Software engineeringImmunologyComputer programmingComputer scienceMachine theorySoftware EngineeringImmunologyProgramming TechniquesComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware engineering.Immunology.Computer programming.Computer science.Machine theory.Software Engineering.Immunology.Programming Techniques.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.10151Bolduc Claudeedthttp://id.loc.gov/vocabulary/relators/edtDesharnais Julesedthttp://id.loc.gov/vocabulary/relators/edtKtari Bechiredthttp://id.loc.gov/vocabulary/relators/edtMPC 2010BOOK996465637503316Mathematics of Program Construction2915783UNISA03221nam 22006735 450 991048328580332120250610110238.09783030661397303066139310.1007/978-3-030-66139-7(CKB)4100000011763303(MiAaPQ)EBC6478289(DE-He213)978-3-030-66139-7(MiAaPQ)EBC29081803(EXLCZ)99410000001176330320210211d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe Afterdeath of the Holocaust /by Lawrence L. Langer1st ed. 2021.Cham :Springer International Publishing :Imprint: Palgrave Macmillan,2021.1 online resource (xx, 247 pages) illustrationsThe Holocaust and its Contexts,2731-572X9783030661380 3030661385 1. The Afterdeath of the Holocaust -- 2. My Life with Holocaust Death -- 3. Redemptive and Unredemptive Holocaust Memory -- 4. Representing and Misrepresenting the Holocaust -- 5. Charlotte Delbo's Auschwitz and After -- 6. Holocaust Fact and Holocaust Fiction: The Dual Vision of H.G. Adler -- 7. Beyond Testimony: The Literary Design of Primo Levi's If This is a Man. 8. The Legacy of Holocaust Deathscapes -- 9. Memory and Invention in Olga Lengyel's Five Chimneys -- 10. Ner Ot: The Memorial Candle as Symbol in the Art of Samuel Bak.This book consists of ten essays that examine the ways in which language has been used to evoke what Lawrence L. Langer calls the 'deathscape' and the 'hopescape' of the Holocaust. The chapters in this collection probe the diverse impacts that site visits, memoirs, survivor testimonies, psychological studies, literature and art have on our response to the atrocities committed by the Germans during World War II. Langer also considers the misunderstandings caused by erroneous, embellished and sentimental accounts of the catastrophe, and explores some reasons why they continue to enter public and printed discourse with such ease.The Holocaust and its Contexts,2731-572XWorld War, 1939-1945HistoriographyHistoryMethodologyIntellectual lifeHistoryCollective memoryHistory of World War II and the HolocaustHistoriography and MethodIntellectual HistoryMemory StudiesWorld War, 1939-1945.Historiography.HistoryMethodology.Intellectual lifeHistory.Collective memory.History of World War II and the Holocaust.Historiography and Method.Intellectual History.Memory Studies.940.5318072Langer Lawrence L.464902MiAaPQMiAaPQMiAaPQBOOK9910483285803321The afterdeath of the Holocaust2850992UNINABOOK