LEADER 01104nam--2200361---450- 001 990003540220203316 005 20110614121301.0 010 $a978-88-430-5306-3 035 $a000354022 035 $aUSA01000354022 035 $a(ALEPH)000354022USA01 035 $a000354022 100 $a20110614d2009----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aEducare alle scelte$el'orientamento formativo per la costruzione di identità critiche$fFrancesco Lo Presti 210 $aRoma$cCarocci$d2009 215 $a118 p.$d22 cm 225 2 $aBiblioteca di testi e studi$v564 410 0$12001$aBiblioteca di testi e studi$v564 606 0 $aOrientamento scolastico$2BNCF 676 $a371.42 700 1$aLO PRESTI,$bFrancesco$0610146 801 0$aIT$bsalbc$gISBD 912 $a990003540220203316 951 $aII.4. 3962$b223288 L.M.$cII.4.$d00297180 959 $aBK 969 $aUMA 979 $aPASSARO$b90$c20110614$lUSA01$h1211 979 $aPASSARO$b90$c20110614$lUSA01$h1213 996 $aEducare alle scelte$91113765 997 $aUNISA LEADER 00930nam0-2200253 --450 001 9910629101303321 005 20221128083926.0 100 $a20221128d1948----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aBreve introduzione all'economica, con stime del reddito collettivo dell'Italia, del Regno Unito e degli Stati Uniti$fFelice Vinci 210 $aMilano, Unione Tipografica$d1948 215 $a40 p.$d24 cm 225 1 $aStudi dell'Istituto di scienze economiche e statistiche$fUniversità degli Studi di Milano 676 $a330$v23$zita 700 1$aVinci,$bFelice$0350363 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910629101303321 952 $aBusta 20 (10) 13$b41936$fFGBC 959 $aFGBC 996 $aBreve introduzione all'economica, con stime del reddito collettivo dell'Italia, del Regno Unito e degli Stati Uniti$92968562 997 $aUNINA 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