LEADER 01818nam0-2200469---450- 001 990000854740203316 005 20100726103652.0 010 $a88-14-05323-5 035 $a0085474 035 $aUSA010085474 035 $a(ALEPH)000085474USA01 035 $a0085474 100 $a20020108d1995----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> nuovo ruolo dell'aeroporto$el'attivitą dell'Unione europea, del legislatore italiano, dell'autoritą garante della concorrenza e del mercato$eatti del Convegno, Venezia, 14-15 ottobre 1994$fa cura di Gabriele Silingardi ... [et al.] 210 $aMilano$cGiuffrč$d1995 215 $aIX, 152 p.$d24 cm 225 2 $aPubblicazioni della Facoltą di giurisprudenza, Dipartimento di scienze giuridiche, Universitą di Modena$iN.S.$v28 300 $aSegue: Appendice 410 0$12001$aPubblicazioni della Facoltą di giurisprudenza, Dipartimento di scienze giuridiche, Universitą di Modena$iN.S.$v28 606 0 $aAeroporti$xLegislazione$xCongressi$z1994 606 0 $aAeroporti$xCongressi$z1994 606 0 $aTrasporti aerei$xCongressi$z1994 606 0 $aCongressi$yVenezia$z1994 676 $a343.450977 702 1$aSILINGARDI,$bGabriele 801 0$aIT$bsalbc$gISBD 912 $a990000854740203316 951 $aXXX.A. Coll. 111/ 26 (X 12 II 28)$b8000 G.$cXXX.A. Coll. 111/ 26 (X 12 II)$d00274225 951 $aSANT.9$b1132 DDPG$cSANT. 959 $aBK 969 $aGIU 969 $aDDPG 979 $aPATTY$b90$c20020108$lUSA01$h1634 979 $c20020403$lUSA01$h1730 979 $aPATRY$b90$c20040406$lUSA01$h1659 979 $aDDPG1$b90$c20070205$lUSA01$h1658 979 $aRSIAV4$b90$c20100726$lUSA01$h1036 996 $aNuovo ruolo dell'aeroporto$9207248 997 $aUNISA LEADER 03075nam 22006975 450 001 9910483081503321 005 20251226195907.0 010 $a3-319-44878-1 024 7 $a10.1007/978-3-319-44878-7 035 $a(CKB)3710000000837738 035 $a(DE-He213)978-3-319-44878-7 035 $a(MiAaPQ)EBC6298040 035 $a(MiAaPQ)EBC5586292 035 $a(Au-PeEL)EBL5586292 035 $a(OCoLC)957269622 035 $a(PPN)194804240 035 $a(EXLCZ)993710000000837738 100 $a20160816d2016 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 $e14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /$fedited by Martin Fränzle, Nicolas Markey 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XII, 245 p. 67 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9884 300 $aIncludes index. 311 08$a3-319-44877-3 327 $aModeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis. 330 $aThis book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9884 606 $aComputer science 606 $aSoftware engineering 606 $aApplication software 606 $aMachine theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aMachine theory. 615 14$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aFormal Languages and Automata Theory. 676 $a003.3 702 $aFränzle$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarkey$b Nicolas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483081503321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA