LEADER 00867nam0-22003131i-450- 001 990003139340403321 010 $a436-29604-7 035 $a000313934 035 $aFED01000313934 035 $a(Aleph)000313934FED01 035 $a000313934 100 $a20000920d1971----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $a<>Myth of the Machine$eThe Pentagon of Power$fby Lewis Mumford. 210 $aLondon$cSecker & Warburg$d1971. 215 $a496 p.$d24 cm 540 0 $a<> pentagono del potere / Lewis Mumford 610 0 $aScienza$aSociologia 676 $a13600 702 1$aMumford,$bLewis$f<1895-1990> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003139340403321 952 $a13600 MUM$b3325/I$fSES 959 $aSES 996 $aMyth of the Machine$9455612 997 $aUNINA DB $aING01 LEADER 01351nam--2200373---450 001 990001109770203316 005 20230605135727.0 010 $a88-87907-49-8 035 $a000110977 035 $aUSA01000110977 035 $a(ALEPH)000110977USA01 035 $a000110977 100 $a20021202d2002----km-y0itaa0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> eroi d'invitta pazienza$eepos storico e tragico cristiano nell'età della <>$fRosa Giulio$gcon l'edizione della tragedia L'Ermenegildo di Annibale Marchese 210 $aSalerno$cEdisud$d2002 215 $a303 p.$d21 cm 225 2 $aCiviltà letteraria italiana$iProfili-Saggi-Testi$v22 604 $aMarchese, Annibale. L'Ermenegildo 606 0 $aEpopea$xAntologie$zSec.18.-19. 606 0 $aTragedia italiana$xAntologie$zSec.18.-19. 676 $a809.13 700 1$aGIULIO,$bRosa$0543091 912 $a990001109770203316 951 $aVI.3. Coll.68/ 17 (V B Coll. 191/22)$b163809 L.M.$cV B Coll.$d00084845 951 $aVI.3. Coll.68/ 17a (V B Coll. 191/22 BIS)$b163810 L.M.$cV B Coll.191/$d00084846 951 $aVI.3. Coll.68/ 17b (V B Coll. 191/22 A)$b163811 L.M.$cV B Coll.191/$00084847 959 $aBK 969 $aUMA 969 $aCAS 996 $aEroi d'invitta pazienza$9981100 997 $aUNISA LEADER 05411nam 22007575 450 001 9910349272103321 005 20251124150414.0 010 $a3-030-31784-6 024 7 $a10.1007/978-3-030-31784-3 035 $a(CKB)4100000009606110 035 $a(MiAaPQ)EBC5963886 035 $a(DE-He213)978-3-030-31784-3 035 $a(PPN)252511352 035 $a(EXLCZ)994100000009606110 100 $a20191005d2019 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Technology for Verification and Analysis $e17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings /$fedited by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (xi, 552 pages) $cillustrations 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11781 311 08$a3-030-31783-8 320 $aIncludes bibliographical references and index. 327 $aA Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth Assignments as Conditional Autarkies -- Can We Trust Autonomous Systems? Boundaries and Risks -- Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs -- Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for Guaranteeing Timed Opacity -- Adaptive Online First-Order Monitoring -- Multi-Head Monitoring of Metric Temporal Logic -- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking -- Conditional Testing: O -the-Shelf Combination of Test-Case Generators -- Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation -- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment -- KLUZZER: Whitebox Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain Free String Constraints -- Synthesizing Efficient Low-Precision Kernels -- New Optimizations and Heuristics for Determinization of Büchi Automata -- Approximate Automata for Omega-regular Languages -- DEQ : Equivalence Checker for Deterministic Register Automata -- LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems -- Reactive Synthesis of Graphical User Interface Glue Code -- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis -- Program Repair for Hyperproperties -- Generic Emptiness Check for Fun and Profit -- Deciding Fast Termination for Probabilistic VASS with Nondeterminism -- Are Parametric Markov Chains Monotonic -- Efficient Information-Flow Verification under Speculative Execution -- Model Checking Data Flows in Concurrent Network Updates.-Performance Evaluation of NDN Data Plane Using Statistical Model Checking. 330 $aThis book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11781 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aAlgorithms 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aAlgorithms. 676 $a004.015113 676 $a006.333 702 $aChen$b Yu-Fang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCheng$b Chih-Hong$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEsparza$b Javier$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349272103321 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNINA