LEADER 01031nam0-22003371i-450- 001 990007071720403321 005 20050926122456.0 010 $a88-17-11541-X 035 $a000707172 035 $aFED01000707172 035 $a(Aleph)000707172FED01 035 $a000707172 100 $a20020412d1991----km-y0itay50------ba 101 1 $aita 102 $aIT 105 $aa-------001yy 200 1 $a<>grande strategia dell'impero romano$edal I al III secolo d.C.$fEdward N. Luttwak$gtraduzione di Pierangela Diadori 210 $aMilano$cRizzoli$d1991 215 $a250 p.$cill.,tav.$d20 cm 225 1 $aSupersaggi. Biblioteca universale Rizzoli 463 0$1001 676 $a355.033$v20$zit 700 1$aLuttwak,$bEdward N.$f<1942- >$029202 702 1$aDiadori,$bPierangela 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007071720403321 952 $aDDR-XXIII C 105.3$b1013 ddr$fDDR$m21-2042 959 $aDDR 996 $aGrande strategia dell'Impero romano$9300959 997 $aUNINA LEADER 05614nam 22006735 450 001 996465990203316 005 20230406060543.0 010 $a3-642-00768-6 024 7 $a10.1007/978-3-642-00768-2 035 $a(CKB)1000000000718143 035 $a(SSID)ssj0000320414 035 $a(PQKBManifestationID)11235218 035 $a(PQKBTitleCode)TC0000320414 035 $a(PQKBWorkID)10247520 035 $a(PQKB)10454898 035 $a(DE-He213)978-3-642-00768-2 035 $a(MiAaPQ)EBC3064045 035 $a(PPN)134126505 035 $a(EXLCZ)991000000000718143 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /$fedited by Stefan Kowalewski, Anna Philippou 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XVI, 456 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5505 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-00767-8 320 $aIncludes bibliographical references and index. 327 $aModel Checking I -- Hierarchical Set Decision Diagrams and Regular Models -- Büchi Complementation and Size-Change Termination -- Learning Minimal Separating DFA?s for Compositional Verification -- Tools I -- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control -- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets -- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches -- Alpaga: A Tool for Solving Parity Games with Imperfect Information -- Game-Theoretic Approaches -- Compositional Predicate Abstraction from Game Semantics -- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications -- Computing Weakest Strategies for Safety Games of Imperfect Information -- Verification of Concurrent Programs -- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads -- Semantic Reduction of Thread Interleavings in Concurrent Programs -- Inferring Synchronization under Limited Observability -- The Complexity of Predicting Atomicity Violations -- Tools II -- MoonWalker: Verification of .NET Programs -- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays -- The Yogi Project: Software Property Checking via Static Analysis and Testing -- TaPAS: The Talence Presburger Arithmetic Suite -- Model Checking II -- Transition-Based Directed Model Checking -- Memoised Garbage Collection for Software Model Checking -- Hierarchical Adaptive State Space Caching Based on Level Sampling -- Parametric Analysis -- Static Analysis Techniques for Parameterised Boolean Equation Systems -- Parametric Trace Slicing and Monitoring -- Generative Approaches -- From Tests to Proofs -- Test Input Generation for Programs with Pointers -- Specification Mining with Few False Positives -- Program Analysis -- Path Feasibility Analysis for String-Manipulating Programs -- Symbolic String Verification: Combining String Analysis and Size Analysis -- Iterating Octagons -- Verifying Reference Counting Implementations -- Hybrid Systems -- Falsification of LTL Safety Properties in Hybrid Systems -- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints -- Decision Procedures and Theorem Proving -- All-Termination(T) -- Ground Interpolation for the Theory of Equality -- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets -- Invited Contribution -- Bridging the Gap Between Model-Based Development and Model Checking. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5505 606 $aSoftware engineering 606 $aComputer programming 606 $aAlgorithms 606 $aComputer science 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aAlgorithms. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aKowalewski$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPhilippou$b Anna$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465990203316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA LEADER 02232oam 2200613 450 001 9910716743503321 005 20210819103202.0 035 $a(CKB)5470000002524742 035 $a(OCoLC)681283974$z(OCoLC)631826301$z(OCoLC)667886806$z(OCoLC)984765818 035 $a(OCoLC)995470000002524742 035 $a(EXLCZ)995470000002524742 100 $a20101113d1998 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRegional rainfall-runoff relations for simulation of streamflow for watersheds in Du Page County, Illinois /$fby James J. Duncker and Charles S. Melching ; in cooperation with the Du Page County Department of Environmental Concerns 210 1$aUrbana, Illinois :$cU.S. Department of the Interior, U.S. Geological Survey,$d1998. 215 $a1 online resource (vi, 80 pages) $cillustrations, maps 225 1 $aWater-resources investigations report ;$v98-4035 320 $aIncludes bibliographical references (pages 52-53). 606 $aRain and rainfall$zIllinois$zDuPage County 606 $aRunoff$zIllinois$zDuPage County 606 $aWatersheds$zIllinois$zDuPage County 606 $aStream measurements$zIllinois$zDuPage County 606 $aRain and rainfall$2fast 606 $aRunoff$2fast 606 $aStream measurements$2fast 607 $aIllinois$zDuPage County$2fast 615 0$aRain and rainfall 615 0$aRunoff 615 0$aWatersheds 615 0$aStream measurements 615 7$aRain and rainfall. 615 7$aRunoff. 615 7$aStream measurements. 700 $aDuncker$b James J.$01406642 702 $aMelching$b Charles S. 712 02$aGeological Survey (U.S.), 712 02$aDu Page County (Ill.).$bDepartment of Environmental Concerns. 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCLCQ 801 2$bCOP 801 2$bOIP 801 2$bGPO 906 $aBOOK 912 $a9910716743503321 996 $aRegional rainfall-runoff relations for simulation of streamflow for watersheds in Du Page County, Illinois$93505180 997 $aUNINA LEADER 00871nam 2200277 450 001 9910806700903321 005 20240223094828.0 010 $a88-04-45903-4 100 $a20240223d2000----u y0engy50 ba 101 0 $aita 102 $aIT 105 0 $a 001yy 200 1 $a<>scoperta dell'ombra$eda Platone a Galileo la storia di un enigma che ha affascinato le grandi menti dell'umanità$fRoberto Casati 210 $aMilano$cMondadori$d2000 215 $a278 p.$cill.$d23 cm 300 $aSegue: Notizie sull'ombra, dello stesso A. 610 0 $aOmbre$aTeorie$aStoria 676 $a535.4 700 1$aCasati,$bRoberto <1961- >$0217445 801 2$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a9910806700903321 952 $a10 DO 370 TA$bDONOTAMBURRINI370/23$fDINEL 959 $aDINEL 996 $aScoperta dell'ombra$9167444 997 $aUNINA