LEADER 03553nam 22007575 450 001 9910349408003321 005 20230222052317.0 010 $a9783030001513 010 $a3030001512 024 7 $a10.1007/978-3-030-00151-3 035 $a(CKB)4100000005958251 035 $a(DE-He213)978-3-030-00151-3 035 $a(MiAaPQ)EBC6301680 035 $a(PPN)229916503 035 $a(EXLCZ)994100000005958251 100 $a20180825d2018 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 $e16th International Conference, FORMATS 2018, Beijing, China, September 4?6, 2018, Proceedings /$fedited by David N. Jansen, Pavithra Prabhakar 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (X, 289 p. 59 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11022 311 08$a9783030001506 311 08$a3030001504 327 $aSpecial Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11022 606 $aAlgorithms 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aComputer simulation 606 $aArtificial intelligence 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aComputer Modelling 606 $aArtificial Intelligence 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aArtificial intelligence. 615 14$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aComputer Modelling. 615 24$aArtificial Intelligence. 676 $a004.0151 676 $a004.0151 702 $aJansen$b David N$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPrabhakar$b Pavithra$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349408003321 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNINA LEADER 01946nam0 22004453i 450 001 MIL0062984 005 20251003044221.0 100 $a20020612d1981 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aAppunti sull'evoluzione del sindacato$fa cura di Mario Romani$gnota introduttiva di Sergio Zaninelli 210 $aRoma$cEdizioni lavoro$d1981 215 $aXIV, 136 p.$d21 cm. 225 | $aClassici & contemporanei$v5 314 $a<1917-1975>$9CFIV018348 410 0$1001CFI0043957$12001 $aClassici & contemporanei$v5 606 $aSindacalismo$2FIR$3CFIC002796$9I 606 $aSindacati$2FIR$3CFIC014333$9I 676 $a331.88$9SINDACATI$v22 676 $a331.88$9SINDACATI$v23 676 $a331.880 9$9$v20 676 $a331.8809$9SINDACATI. TRATTAMENTO STORICO GEOGRAFICO$v20 676 $a335.82$9SOCIALISMO E SISTEMI AFFINI. SINDACALISMO$v20 696 $aAssociazioni sindacali$aOrganizzazioni sindacali$aOrganizzazione sindacale 699 $aSindacati$yAssociazioni sindacali 699 $aSindacati$yOrganizzazioni sindacali 699 $aSindacati$zOrganizzazione sindacale 700 1$aRomani$b, Mario$f <1917-1975>$3CFIV018348$4070$068073 702 1$aZaninelli$b, Sergio$3CFIV009040 801 3$aIT$bIT-000000$c20020612 850 $aIT-BN0095 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aMIL0062984 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.F. SANTI 191$e 0101 0060031975E VMA 1 v. (Precedente collocazione S 280)$fB $h20221107$i20221107 977 $a 01 996 $aAppunti sull'evoluzione del sindacato$92961481 997 $aUNISANNIO