LEADER 01490nam0 2200325 i 450 001 SUN0067187 005 20090210120000.0 010 $a978-88-348-7749-4 100 $a20090209d2007 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aReligione e religioni: prospettive di tutela, tutela della libertà$fa cura di Giovannangelo De Francesco, Carmela Piemontese e Emma Venafro$gprefazione di Tullio Padovani 205 $aTorino : Giappichelli$bc2007 210 $d412 p. ; 24 cm 215 $aIn testa al front.: 3. Ginnasio dei Penalisti. 410 1$1001SUN0005475$12001 $aQuaderni del Dipartimento di diritto pubblico, Università di Pisa$1210 $aTorino$cGiappicchelli. 620 $dTorino$3SUNL000001 676 $a940.105$cSTORIA GENERALE DELL'EUROPA. FINO AL 1453. Pubblicazioni in serie$v21 702 1$aPadovani$b, Tullio$3SUNV001911 702 1$aDe Francesco$b, Giovannangelo$3SUNV003103 702 1$aPiemontese$b, Carmela$3SUNV003231 702 1$aVenafro$b, Emma$3SUNV025613 712 $aGiappichelli$3SUNV000045$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0067187 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS VIII.Eh.197 $e00 BFG820 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$gBFG$h820$kCONS VIII.Eh.197$op$qa 996 $aReligione e religioni$9255972 997 $aUNICAMPANIA LEADER 01089nam 2200349Ia 450 001 996396421903316 005 20221108064855.0 035 $a(CKB)4330000000357528 035 $a(EEBO)2240862176 035 $a(OCoLC)13725681 035 $a(EXLCZ)994330000000357528 100 $a19860612d1681 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aProtestant charity$b[electronic resource] $ea sermon preached at S. Sepulchres Church, on Tuesday in Easter week, A. D. MDCLXXXI /$fby Edward Stillingfleet .. 210 $aLondon $cPrinted by M. Flesher for Henry Mortlock ...$d1681 215 $a[6], 47, [1] p 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 606 $aCharity$vSermons 606 $aCharity$vEarly works to 1800 615 0$aCharity 615 0$aCharity 700 $aStillingfleet$b Edward$f1635-1699.$01002572 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996396421903316 996 $aProtestant charity$92311738 997 $aUNISA LEADER 03836nam 22007455 450 001 9910495156903321 005 20251225175031.0 010 $a3-030-85037-4 024 7 $a10.1007/978-3-030-85037-1 035 $a(CKB)4100000012000174 035 $a(DE-He213)978-3-030-85037-1 035 $a(MiAaPQ)EBC6702965 035 $a(Au-PeEL)EBL6702965 035 $a(PPN)257350632 035 $a(EXLCZ)994100000012000174 100 $a20210807d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Modeling and Analysis of Timed Systems $e19th International Conference, FORMATS 2021, Paris, France, August 24?26, 2021, Proceedings /$fedited by Catalin Dima, Mahsa Shirmohammadi 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XI, 155 p. 36 illus., 23 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12860 311 08$a3-030-85036-6 327 $aFormal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) -- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges -- On the complexity of timed pattern matching -- Stubborn Set Reduction for Timed Reachability and Safety Games -- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems -- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability -- An Integer Static Analysis for Better Extrapolation in Uppaal -- Explaining Safety Violations in Real-Time Systems -- DiffRNN: Differential verification of Recurrent Neural Networks -- Formal Abstraction and Synthesis of Parametric Stochastic Processes. 330 $aThis book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12860 606 $aComputer science 606 $aSoftware engineering 606 $aComputer systems 606 $aComputers, Special purpose 606 $aComputer simulation 606 $aMicroprogramming 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aComputer System Implementation 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Modelling 606 $aControl Structures and Microprogramming 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer systems. 615 0$aComputers, Special purpose. 615 0$aComputer simulation. 615 0$aMicroprogramming. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer System Implementation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Modelling. 615 24$aControl Structures and Microprogramming. 676 $a005.1 702 $aShirmohammadi$b Mahsa 702 $aDima$b Catalin 702 $aShirmohammadi$b Mahsa 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910495156903321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA