LEADER 00904nam0-2200313 --450 001 9910597298503321 005 20221024123718.0 017 70$a447534$2U 020 $aIT$b1925 5363 100 $a20221024d1925----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aPer l'idea democratica$fAlberto La Pegna 210 $aMilano$cEdizioni della Rassegna internazionale$d1925 215 $a270 p.$d19 cm 610 0 $aDemocrazia 610 0 $aPartito radicale$aOrigini-1921$aDiari e memorie 610 0 $aItalia$aPolitica$a1870-1925$aDiari e memorie 676 $a320.530945$v19 676 $a320.9450904$v20 700 1$aLa Pegna,$bAlberto$0252281 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910597298503321 952 $a5/X C 23$binv.204$fFLFBC 959 $aFLFBC 996 $aPer l'idea democratica$92946939 997 $aUNINA LEADER 01139nam 2200337Ia 450 001 996387192403316 005 20221108064552.0 035 $a(CKB)1000000000625311 035 $a(EEBO)2248530688 035 $a(OCoLC)12920466 035 $a(EXLCZ)991000000000625311 100 $a19851216d1668 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe shepherd, or, The pastoral charge and obedience due to it$b[electronic resource] $einstituted by God as a necessary means to preserve the sheep from straying 210 $aLondon $cPrinted for Timothy Garthwait$d1668 215 $a[2], 37 p 300 $aReproduction of original in Union Theological Seminary Library, New York. 300 $aAttributed to Benjamin Laney. cf. NUC pre-1956. 330 $aeebo-0160 606 $aBishops$zEngland$vSermons 615 0$aBishops 700 $aLaney$b Benjamin$f1591-1675.$01001617 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996387192403316 996 $aThe shepherd, or, The pastoral charge and obedience due to it$92409866 997 $aUNISA LEADER 05426nam 22007695 450 001 9910484183903321 005 20251226200319.0 010 $a3-540-75454-7 024 7 $a10.1007/978-3-540-75454-1 035 $a(CKB)1000000000490584 035 $a(SSID)ssj0000317724 035 $a(PQKBManifestationID)11248521 035 $a(PQKBTitleCode)TC0000317724 035 $a(PQKBWorkID)10308059 035 $a(PQKB)11372606 035 $a(DE-He213)978-3-540-75454-1 035 $a(MiAaPQ)EBC3063241 035 $a(MiAaPQ)EBC6806094 035 $a(Au-PeEL)EBL6806094 035 $a(OCoLC)184982172 035 $a(PPN)123165474 035 $a(MiAaPQ)EBC337064 035 $a(EXLCZ)991000000000490584 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems $e5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /$fedited by Jean-Francois Raskin, P.S. Thiagarajan 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 372 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4763 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75453-9 320 $aIncludes bibliographical references and index. 327 $aAbstraction of Probabilistic Systems -- From Analysis to Design -- Efficient On-the-Fly Algorithms for Partially Observable Timed Games -- Undecidability of Universality for Timed Automata with Minimal Resources -- On Timed Models of Gene Networks -- Costs Are Expensive! -- Hypervolume Approximation in Timed Automata Model Checking -- Counter-Free Input-Determined Timed Automata -- Towards Budgeting in Real-Time Calculus: Deferrable Servers -- Automatic Abstraction Refinement for Timed Automata -- Dynamical Properties of Timed Automata Revisited -- Robust Sampling for MITL Specifications -- On the Expressiveness of MTL Variants over Dense Time -- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable -- Efficient Detection of Zeno Runs in Timed Automata -- Partial Order Reduction for Verification of Real-Time Components -- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga -- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata -- Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters -- Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times -- Designing Consistent Multimedia Documents: The RT-LOTOS Methodology -- AMT: A Property-Based Monitoring Tool for Analog Systems -- Region Stability Proofs for Hybrid Systems -- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains -- Symbolic Simulation-Checking of Dense-Time Automata. 330 $aThis volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3?5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4763 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputers, Special purpose. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a003.3 702 $aThiagarajan$b P. S. 702 $aRaskin$b Jean-Franc?ois$f1972- 712 12$aFORMATS 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484183903321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA