LEADER 01189nam--2200397---450- 001 990003096210203316 005 20080415170332.0 010 $a88-8334-052-3 035 $a000309621 035 $aUSA01000309621 035 $a(ALEPH)000309621USA01 035 $a000309621 100 $a20080415d2001----km-y0itay50------ba 101 $aita$afre 102 $aIT 105 $a||||||||001yy 200 1 $aScrivere il Medioevo$elo spazio, la santita, il cibo$eun libro dedicato ad Odile Redon$fa cura di Bruno Laurioux e Laurence Moulinier-Brogi 210 $aRoma$cViella$d2001 215 $a458 p.$c1 ritr.$d21 cm 225 $a<> libri di Viella$v28 410 0$12001$a<> libri di Viella 461 1$1001000309620$12001 606 $aMedioevo$xCiviltà 676 $a945.502 702 $aREDON,$bOdile 702 $aMOULINIER-BROGI,$bLaurence 702 $aLAURIOUX,$bBruno 801 0$aIT$bsalbc$gISBD 912 $a990003096210203316 951 $aIII.8.B.30$b5882 DSLL 959 $aBK 969 $aDSLL 979 $aDSLL$b90$c20080415$lUSA01$h1629 979 $aDSLL$b90$c20080415$lUSA01$h1703 996 $aScrivere il Medioevo$91019322 997 $aUNISA LEADER 00996nam 2200253la 450 001 9910482570203321 005 20221108072016.0 035 $a(UK-CbPIL)2090299297 035 $a(CKB)5500000000093472 035 $a(EXLCZ)995500000000093472 100 $a20210618d1553 uy | 101 0 $adan 135 $aurcn||||a|bb| 200 10$aDe merckeligste Steder i den Hellige Scrifft, som forbiude oc fordøme Den formaledide Aager, tilsammen dragne aff Peder Palladio$b[electronic resource] 210 $aRostock $cLudwig Dietz$d1553 215 $aOnline resource ([8] bl.) 300 $aReproduction of original in Det Kongelige Bibliotek / The Royal Library (Copenhagen). 700 $aPalladius$b Peder$f1503-1560.$0854810 801 0$bUk-CbPIL 801 1$bUk-CbPIL 906 $aBOOK 912 $a9910482570203321 996 $aDe merckeligste Steder i den Hellige Scrifft, som forbiude oc fordøme den formaledide Aager, tilsammen dragne aff Peder Palladio$91924412 997 $aUNINA LEADER 03500nam 22006615 450 001 9910484668203321 005 20251226195817.0 010 $a3-642-40229-1 024 7 $a10.1007/978-3-642-40229-6 035 $a(CKB)3710000000002670 035 $a(SSID)ssj0000962742 035 $a(PQKBManifestationID)11511694 035 $a(PQKBTitleCode)TC0000962742 035 $a(PQKBWorkID)10975872 035 $a(PQKB)11739095 035 $a(DE-He213)978-3-642-40229-6 035 $a(MiAaPQ)EBC3093358 035 $a(PPN)172429153 035 $a(EXLCZ)993710000000002670 100 $a20130723d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems $e11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /$fedited by Víctor Braberman, Laurent Fribourg 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 275 p. 70 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8053 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-40228-3 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8053 606 $aComputer science 606 $aSoftware engineering 606 $aComputer science$xMathematics 606 $aMathematical statistics 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aProbability and Statistics in Computer Science 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer science$xMathematics. 615 0$aMathematical statistics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aProbability and Statistics in Computer Science. 676 $a003.3 702 $aBraberman$b Víctor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFribourg$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484668203321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA