LEADER 04672nam 22006855 450 001 996465922003316 005 20230406062932.0 010 $a3-540-78499-3 024 7 $a10.1007/978-3-540-78499-9 035 $a(CKB)1000000000490589 035 $a(SSID)ssj0000317776 035 $a(PQKBManifestationID)11245541 035 $a(PQKBTitleCode)TC0000317776 035 $a(PQKBWorkID)10294626 035 $a(PQKB)10447931 035 $a(DE-He213)978-3-540-78499-9 035 $a(MiAaPQ)EBC3068721 035 $a(PPN)125218419 035 $a(EXLCZ)991000000000490589 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings /$fedited by Roberto Amadio 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XV, 508 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4962 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-78497-7 320 $aIncludes bibliographical references and index. 327 $aFinding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications -- Classes of Tree Homomorphisms with Decidable Preservation of Regularity -- A Kleene-Schützenberger Theorem for Weighted Timed Automata -- Robust Analysis of Timed Automata Via Channel Machines -- The Common Fragment of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal Deconstruction of Access Control Logics -- Coalgebraic Logic and Synthesis of Mealy Machines -- The Microcosm Principle and Concurrency in Coalgebra -- Systems of Equations Satisfied in All Commutative Finite Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains -- Prevision Domains and Convex Powercones -- RPO, Second-Order Contexts, and ?-Calculus -- Erasure and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language with Dependent Types -- Strong Normalisation of Cut-Elimination That Simulates ?-Reduction -- Symbolic Semantics Revisited -- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model Checking Freeze LTL over One-Counter Automata. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4962 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 676 $a003 702 $aAmadio$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 906 $aBOOK 912 $a996465922003316 996 $aFoundations of Software Science and Computational Structures$9772755 997 $aUNISA LEADER 01427oam 2200409 450 001 9910715258903321 005 20210323121751.0 035 $a(CKB)5470000002509434 035 $a(OCoLC)1232234533 035 $a(OCoLC)995470000002509434 035 $a(EXLCZ)995470000002509434 100 $a20210122j200810 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComparison of the isothermal oxidation behavior of as-cast Cu-17%Cr and Cu-17%Cr-5%A1$hpart 1$ioxidation kinetics /$fS.V. Raj 210 1$aCleveland, Ohio :$cNational Aeronautics and Space Administration, Glenn Research Center,$dOctober 2008. 215 $a1 online resource (18 pages, 1 unnumbered page) $cillustrations (mostly color) 225 1 $aNASA/TM ;$v2008-215284/PART1 300 $a"October 2008." 320 $aIncludes bibliographical references (pages 17-18). 606 $aOxidation$2nasat 606 $aAtmospheric pressure$2nasat 615 7$aOxidation. 615 7$aAtmospheric pressure. 700 $aRaj$b Sai V.$01389589 712 02$aNASA Glenn Research Center, 801 0$bGPO 801 1$bGPO 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910715258903321 996 $aComparison of the isothermal oxidation behavior of as-cast Cu-17%Cr and Cu-17%Cr-5%A1$93527558 997 $aUNINA LEADER 03110nam 2200661 a 450 001 9910778566403321 005 20230809201446.0 010 $a1-4462-2890-8 010 $a9786612337260 010 $a0-7619-4015-4 010 $a1-282-33726-2 010 $a1-84787-642-0 035 $a(CKB)1000000000807597 035 $a(EBL)465109 035 $a(OCoLC)879074079 035 $a(SSID)ssj0000289134 035 $a(PQKBManifestationID)11254995 035 $a(PQKBTitleCode)TC0000289134 035 $a(PQKBWorkID)10381869 035 $a(PQKB)10445336 035 $a(MiAaPQ)EBC465109 035 $a(OCoLC)565950130 035 $a(StDuBDS)EDZ0000084935 035 $a(Au-PeEL)EBL465109 035 $a(CaPaEBR)ebr10348614 035 $a(CaONFJC)MIL233726 035 $a(EXLCZ)991000000000807597 100 $a20120516d2002 fy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArms control $ethe new guide to negotiations and agreements /$fJozef Goldblat 205 $aFully rev. and updated 2nd ed. 210 1$aLos Angeles ;$aLondon :$cSAGE,$d2002. 215 $a1 online resource (xliii, 396 pages) $cill., maps 300 $aDescription based upon print version of record. 311 0 $a1-4462-1494-X 311 0 $a0-7619-4016-2 320 $aIncludes bibliographical references and index. 327 $aCover; Contents; Foreword; Preface; Acronyms; Glossary; Part 1 : Analytical Survey; 1 - Basic Concepts; 2 - Historical Overview; 3 - The United Nations; 4 - Nuclear-Weapon Explosions; 5 - Nuclear Arms Limitation; 6 - Nuclear-Weapon Proliferation; 7 - Proposals for the Abolition of Nuclear Weapons; 8 - Chemical and Biological Weapons; 9 - Environmental and Radiological Weapons; 10 - Outer Space and Celestial Bodies; 11 - The Sea Environment; 12 - Demilitarized Areas; 13 - Denuclearized Zones; 14 - Conventional Arms Control; 15 - Constraints on Conventional Arms and Technology Transfers 327 $a16 - Confidence Building in Europe, Asia and the Americas 17 - Restrictions on the Methods of Warfare; 18 - Prevention of Accidental War; 19 - Verification and Compliance; 20 - Concluding Remarks; Appendix; Select Bibliography; About the Author; Index 330 8 $aThe revised and updated edition of 'Arms control: the new guide to negotiations and agreements' contains the most authoritative and comprehensive survey ever published of the documents related to arms control. All major agreements reached since the second half of the nineteenth century through to mid-2002 are critically analysed and assessed. 606 $aArms control 606 $aDisarmament 606 $aArms transfers$xLaw and legislation 615 0$aArms control. 615 0$aDisarmament. 615 0$aArms transfers$xLaw and legislation. 676 $a341.733 700 $aGoldblat$b Jozef$0310537 801 0$bStDuBDS 801 1$bStDuBDS 906 $aBOOK 912 $a9910778566403321 996 $aArms control$93756477 997 $aUNINA