04294nam 22006855 450 99646642750331620200629175453.03-030-31157-010.1007/978-3-030-31157-5(CKB)4100000009362642(DE-He213)978-3-030-31157-5(MiAaPQ)EBC5918015(PPN)248601598(EXLCZ)99410000000936264220190910d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTests and Proofs[electronic resource] 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /edited by Dirk Beyer, Chantal Keller1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (X, 207 p. 339 illus., 34 illus. in color.) Programming and Software Engineering ;11823Includes Index.3-030-31156-2 When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP -- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers -- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing with Symbolic Transition Systems -- BTestBox - A tool for testing B translators and coverage of B models -- Predicting and Testing Latencies with Deep Learning: an IoT Case Study -- Learning Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving a Non-Blocking Algorithm for Process Renaming with TLA+ -- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties -- Property-Based Test Case Generators for Free.This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.Programming and Software Engineering ;11823Software engineeringProgramming languages (Electronic computers)Computer logicMathematical logicComputer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software engineering.Programming languages (Electronic computers).Computer logic.Mathematical logic.Computer system failures.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.System Performance and Evaluation.005.14Beyer Dirkedthttp://id.loc.gov/vocabulary/relators/edtKeller Chantaledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466427503316Tests and Proofs772200UNISA01717oam 2200481I 450 991071392860332120201210143342.0(CKB)5470000002506379(OCoLC)1201185049(OCoLC)1206184356(OCoLC)995470000002506379(EXLCZ)99547000000250637920201021j199105 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierMicrostructure-property relationships in Al-Cu-Li-Ag-Mg Weldalite [superscript T M] alloys /T.J. Langan and J.R. PickensHampton, VA :National Aeronautics and Space Administration, Langley Research Center,May 1991.1 online resource (various pagings) illustrationsNASA/CR ;4364"May 1991."Includes bibliographical references.Metal matrix compositesnasatAlloysnasatMicrostructurenasatAluminum-lithium alloysnasatMetal matrix composites.Alloys.Microstructure.Aluminum-lithium alloys.Langan T.J.1395031Pickens J. R.Langley Research Center,Martin Marietta Laboratories.United States.National Aeronautics and Space Administration.Scientific and Technical Information Division (1987-1990 )GPOGPOGPOBOOK9910713928603321Microstructure-property relationships in Al-Cu-Li-Ag-Mg Weldalite alloys3452978UNINA05167nam 2200769 450 991081833110332120231110221846.01-4875-3466-31-4875-3465-510.3138/9781487534653(CKB)4100000011955294(MiAaPQ)EBC6637245(Au-PeEL)EBL6637245(OCoLC)1237563942(DE-B1597)583303(DE-B1597)9781487534653(MdBmJHUP)musev2_108933(EXLCZ)99410000001195529420230624d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe pedagogy of images depicting communism for children /edited by Marina Balina and Serguei A. OushakineToronto, Ontario :University of Toronto Press,[2021]©20211 online resource (569 pages)Studies in Book and Print Culture Includes index.1-4875-0668-6 Three Degrees of Exemplary Boyhood in Boris Kustodiev's Soviet Paradise / Helena Goscilo -- How the Revolution Triumphed: Alisa Poret's Textbook of Cultural Iconography / Yuri Leving -- Foto-glaz: Children as Photo-Correspondents in Early Soviet Pioneer Magazines / Erika Wolf -- Autonomous Animals Animated: Samozveri as a Constructivist Pedagogical Cine-dispositive / Aleksandar Bošković -- The Fragile Power of Paper and Projections / Birgitte Beck Pristed -- From Nature to "Second Nature" and Back / Larissa Rudova -- Autonomy and the Automaton: The Child as Instrument of Futurity / Sara Pankenier Weld -- Spells of Materialist Magic, or Soviet Children and Electric Power / Kirill Chunikhin -- "Do It All Yourself!" Teaching Technological Creativity during Soviet Industrialization / Maria Litovskaya -- The Camel and the Caboose: Viktor Shklovsky's Turksib and the Pedagogy of Uneven Development / Michael Kunichika -- Aeroplane, Aeroboat, Aerosleigh: Propelling Everywhere in Soviet Transportation / Katherine M.H. Reischl -- Spatializing Revolutionary Temporality: From Montage and Dynamism to Map and Plan / Kevin M.F. Platt -- "Poor, Poor Il'ich": Visualizing Lenin's Death for Children / Daniil Leiderman and Marina Sokolovskaia -- Young Soldiers at Play: The Red Army Soldier as Icon / Stephen M. Norris -- The Working Body and Its Prostheses: Imagining Class for Soviet Children / Alexey Golubev -- Amerikanizm: The Brave New New World of Soviet Civilization / Thomas Keenan."In the 1920s, with the end of the Revolution, the new Soviet government began investing resources and energy in creating a new type of the book for the first Soviet generation of young readers. In a sense, these early Soviet books for children were the ABCs of Soviet modernity. Creatively illustrated and intricately designed, they were manuals and primers that helped the young reader enter the field of politics through literature. Children's books provided the basic vocabulary and grammar for understanding new, post-revolutionary realities, but they also taught young readers how to perceive modern events and communist practices. Relying on a process of dual-media rendering, illustrated books presented propaganda as a simple, repeatable narrative or verse, while also casting it in easily recognizable graphic images. A vehicle of ideology, an object of affection, and a product of labour, the illustrated book for the young Soviet reader emerged as an important cultural phenomenon. Communist in its content, it was often avant-gardist in its form. Spotlighting three thematic threads--communist goals, pedagogy, and propaganda--Pedagogy of Images traces the formation of a mass modern readership through the creation of the communist-inflected visual and narrative conventions that these early readers were supposed to appropriate. "--Provided by publisher.Studies in Book and Print Culture Communism in literatureEducationPolitical aspectsSoviet UnionLiteracyPolitical aspectsSoviet UnionSoviet UnionfastCriticism, interpretation, etc.fastPublishers advertisements.rbgenrCommunism.Lenin.Russian Revolution.Socialist realism.Soviet Union.Soviet literature for children.Soviet.children’s literature.mass culture.modernity.pedagogy.propaganda.visual language.Communism in literature.EducationPolitical aspectsLiteracyPolitical aspects823.914cci1icclaccBalina MarinaUshakin S(Sergeĭ),1966-MiAaPQMiAaPQMiAaPQBOOK9910818331103321The pedagogy of images4005318UNINA