LEADER 01366nam 2200445 450 001 9910466265103321 005 20200520144314.0 010 $a80-246-2704-3 035 $a(CKB)4100000004974334 035 $a(MiAaPQ)EBC5436594 035 $a(Au-PeEL)EBL5436594 035 $a(CaPaEBR)ebr11585411 035 $a(OCoLC)1043610932 035 $a(EXLCZ)994100000004974334 100 $a20180806d2014 uy 0 101 0 $acze 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aUSA a evropska? integrace $enena?padny? pu?vab americke? hegemonie /$fPavel Pr?ikryl 210 1$a[Place of publication not identified] :$cKarolinum,$d[2014] 210 4$d©2014 215 $a1 online resource (256 pages) 300 $aIn Czech with English summary. 311 $a80-246-2688-8 607 $aUnited States$xForeign relations$zEurope 607 $aEurope$xForeign relations$zUnited States 607 $aUnited States$xForeign relations$y1945-1989 608 $aElectronic books. 676 $a327.7304 686 $a08.32.52$2EP-CLASS 700 $aPr?ikryl$b Pavel$0977264 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910466265103321 996 $aUSA a evropska? integrace$92226201 997 $aUNINA LEADER 01268nam a22003011i 4500 001 991003086709707536 005 20040603105423.0 008 040624s1984 gr a||||||||||||||||eng 035 $ab13022374-39ule_inst 035 $aARCHE-098005$9ExL 040 $aDip.to Beni Culturali$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a939.18 100 1 $aPopham, Mervyn R.$0204944 245 14$aThe Minoan unexplored mansion at Knossos /$cby M.R. Popham ; with J. Betts ... [et al.] 260 $aAthens :$bBritish School of Archaeology at Athens ;$a[London] :$bThames and Hudson,$c1984- 300 $a2 v. :$bill. ;$c26 cm 650 4$aPalazzo di Knosso 650 4$aKnosso 650 4$aCiviltà minoica 650 4$aScavi archeologici$xGrecia$xKnosso 700 1 $aBetts, J. 907 $a.b13022374$b02-04-14$c12-07-04 912 $a991003086709707536 945 $aLE001 AR XIV 21$g1$i2001000136094$lle001$nV. 2. - C. 1$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13635761$z12-07-04 945 $aLE001 AR XIV 28$g1$i2001000136100$lle001$nV. 1. - C. 1$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13635773$z12-07-04 996 $aMinoan unexplored mansion at Knossos$9288875 997 $aUNISALENTO 998 $ale001$b12-07-04$cm$da $e-$feng$ggr $h4$i2 LEADER 06438nam 22006975 450 001 9910483145503321 005 20251226202837.0 010 $a3-319-06410-X 024 7 $a10.1007/978-3-319-06410-9 035 $a(CKB)3710000000106758 035 $a(DE-He213)978-3-319-06410-9 035 $a(SSID)ssj0001204900 035 $a(PQKBManifestationID)11686566 035 $a(PQKBTitleCode)TC0001204900 035 $a(PQKBWorkID)11198532 035 $a(PQKB)11391885 035 $a(MiAaPQ)EBC3093382 035 $a(PPN)178320463 035 $a(EXLCZ)993710000000106758 100 $a20140418d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFM 2014: Formal Methods $e19th International Symposium, Singapore, May 12-16, 2014. Proceedings /$fedited by Cliff Jones, Pekka Pihlajasaari, Jun Sun 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 750 p. 185 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8442 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-06409-6 327 $aValidity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some Obstacles and Some Possibilities? -- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes -- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs -- Knowledge-Based Automated Repair of Authentication Protocols -- A Simplified Z Semantics for Presentation Interaction Models -- Log Analysis for Data Protection Accountability -- Automatic Compositional Synthesis of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining and Verifying Relaxed Linearizability -- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol -- Contracts in Practice -- When Equivalence and Bisimulation Join Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System -- IscasMc: A Web-Based Probabilistic Model Checker -- Invariants, Well-Founded Statements and Real-Time Program Algebra -- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis -- A Symbolic Algorithm for the Analysis of Robust Timed Automata -- Revisiting Compatibility of Input-Output Modal Transition Systems -- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier -- Management of Time Requirements in Component-Based Systems -- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning -- Formal Verification of Operational Transformation -- Verification of a Transactional Memory Manager under Hardware Failures and Restarts -- SCJ: Memory-Safety Checking without Annotations -- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems -- Object Propositions -- Flexible Invariants through Semantic Collaboration -- Efficient Tight Field Bounds Computation Based on Shape Predicates -- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster -- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison -- Efficient Self-composition for Weakest Precondition Calculi -- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections -- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic -- A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern Build Language -- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification -- Formally Verifying Graphics FPU: An Intel® Experience -- MDP-Based Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a Descent Guidance Control Program of a Lunar Lander. 330 $aThis book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8442 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 615 24$aTheory of Computation. 676 $a005.1 702 $aJones$b Cliff$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPihlajasaari$b Pekka$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSun$b Jun$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910483145503321 996 $aFM 2014: Formal Methods$92830168 997 $aUNINA