LEADER 00721nam0 2200253 450 001 9910309436703321 005 20190228163645.0 100 $a20190228d1958----km y0itay50 ba 101 0 $ager 102 $aDE 105 $ay 001yy 200 1 $aHochmut und Angst$eBetrachtung zur seelischen lage des heutigen Europa$fKarl Schmid 210 $aZürich ; Stuttgart$cArtemis$d1958 215 $a186 p.$d18 cm 610 0 $aEuropa$aPsicologia sociale 676 $a302.094$v22$zita 700 1$aSchmid,$bKarl$0132181 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910309436703321 952 $aFondo Mango 13$fFSPBC 959 $aFSPBC 996 $aHochmut und Angst$91546081 997 $aUNINA LEADER 04513nam 22008055 450 001 9910484772803321 005 20250717130309.0 010 $a3-319-11439-5 024 7 $a10.1007/978-3-319-11439-2 035 $a(CKB)3710000000249767 035 $a(SSID)ssj0001354266 035 $a(PQKBManifestationID)11768824 035 $a(PQKBTitleCode)TC0001354266 035 $a(PQKBWorkID)11327276 035 $a(PQKB)11059572 035 $a(DE-He213)978-3-319-11439-2 035 $a(MiAaPQ)EBC5595280 035 $a(PPN)181351986 035 $a(EXLCZ)993710000000249767 100 $a20140915d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReachability Problems $e8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /$fedited by Joel Ouaknine, Igor Potapov, James Worrell 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XX, 246 p. 59 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8762 300 $aIncludes index. 311 08$a3-319-11438-7 327 $aComplexity Bounds for Ordinal-Based Termination -- On The Complexity of Bounded Time Reachability for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives -- Parameterized Verification of Communicating Automata under Context Bounds -- Regular Strategies in Pushdown Reachability Games -- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations -- Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector Addition Systems with States -- Reachability in MDPs: Refining Convergence of Value Iteration -- On the Expressiveness of Metric Temporal Logic over Bounded Timed Words -- Trace Inclusion for One-Counter Nets Revisited -- Mean-Payoff Games with Partial-Observation -- Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector Addition Systems -- Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems -- Transformations for Compositional Verification of Assumption-Commitment Properties -- Compositional Reachability in Petri Nets. 330 $aThis book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8762 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aCoding theory 606 $aInformation theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aCoding and Information Theory 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aMachine theory. 615 0$aCoding theory. 615 0$aInformation theory. 615 14$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aCoding and Information Theory. 676 $a004 702 $aOuaknine$b Joel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPotapov$b Igor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWorrell$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484772803321 996 $aReachability Problems$93573647 997 $aUNINA