LEADER 04532nam 22007215 450 001 996418301703316 005 20210126131552.0 010 $a3-030-55583-6 024 7 $a10.1007/978-3-030-55583-2 035 $a(CKB)4100000011392454 035 $a(DE-He213)978-3-030-55583-2 035 $a(MiAaPQ)EBC6317279 035 $a(PPN)253256917 035 $a(EXLCZ)994100000011392454 100 $a20200805d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security. SAFECOMP 2020 Workshops$b[electronic resource] $eDECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /$fedited by António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVI, 416 p. 46 illus.) 225 1 $aProgramming and Software Engineering ;$v12235 311 $a3-030-55582-8 320 $aIncludes bibliographical references and index. 327 $aDECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. 330 $aThis book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems. DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems. USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI. WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. The workshops were held virtually due to the COVID-19 pandemic. 410 0$aProgramming and Software Engineering ;$v12235 606 $aComputer organization 606 $aArtificial intelligence 606 $aApplication software 606 $aData encryption (Computer science) 606 $aKnowledge representation (Information theory)  606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aKnowledge based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I21030 615 0$aComputer organization. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aData encryption (Computer science). 615 0$aKnowledge representation (Information theory) . 615 14$aComputer Systems Organization and Communication Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Applications. 615 24$aCryptology. 615 24$aKnowledge based Systems. 676 $a005.8 702 $aCasimiro$b António$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchoitsch$b Erwin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFerreira$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418301703316 996 $aComputer Safety, Reliability, and Security. SAFECOMP 2020 Workshops$92193432 997 $aUNISA LEADER 02714nam0 2200565 i 450 001 LO10483699 005 20251003044211.0 010 $a8842054275 020 $aIT$b99-11177 100 $a19990219d1999 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aAvventure di un economista$ela mia vita, le mie idee, la nostra epoca$fFranco Modigliani$ga cura di Paolo Peluffo 210 $aRoma \etc.!$cGLF editori Laterza$d1999 215 $a318 p., \4! c. di tav.$cill.$d21 cm. 225 | $aStoria e societŕ 410 0$1001CFI0000036$12001 $aStoria e societŕ 606 $aModigliani, Franco$xAutobiografia$2FIR$3CFIC109062$9I 606 $aModigliani, Franco$xAutobiografia$2FIR$3CFIC109062$9I 676 $a330$9Economia$v14 676 $a330.09$9SCIENZE ECONOMICHE. TRATTAMENTO STORICO E GEOGRAFICO DELLA DISCIPLINA$v20 676 $a330.092$9Scienze economiche. Persone.$v20 676 $a330.092$9$v21 676 $a330.0924$9$v19 686 $aIT/1628.2$cPROBLEMI DELLE MINORANZE PERSECUZIONI ANTIEBRAICHE ITALIA FASCISTA 1922-1939$2R 686 $aIT/X420.0$cPOLITICA E CULTURA ITALIA$2R 686 $aIT/X430.0$cECONOMIA E SOCIETA ITALIA$2R 686 $aUS/X42.0$cPOLITICA E CULTURA STATI UNITI D'AMERICA$2R 686 $aUS/X43.0$cECONOMIA E SOCIETA STATI UNITI D'AMERICA$2R 686 $aX0.2$cMEMORIE E SCRITTI$2R 686 $aX171.2$cEUROPA UNITA CEE CECA MEC$2R 686 $aX30.0$cSTORIA ECONOMICO-SOCIALE$2R 700 1$aModigliani$b, Franco$3CFIV041598$4070$0115495 702 1$aPeluffo$b, Paolo$3CFIV073750 801 3$aIT$bIT-000000$c19990219 850 $aIT-BN0095 $aIT-SA0200 $aIT-AV0007 $aIT-NA0457 $aIT-NA0070 $aIT-NA0022 $aIT-NA0075 $aIT-AV0045 901 $bNAP MV$cE $nDEPOSITO LIBRARIO RELIGIONE SALA E 901 $bNAP CI$cBIBLIOTECA$n$ 901 $bNAP 63$cMOD $n$ 901 $bNAP BI$cSALA 5 $nLibri da 4151 in poi 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. 901 $bNAP AV$cMANCINO $n$ 912 $aLO10483699 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 7310$e 0101 0700250955E VMA 1 v. (Precedente collocazione 25 EC 095)$fB $h20220802$i20220802 977 $a 01$a 63$a AV$a BI$a BU$a CI$a GE$a MV 996 $aAvventure di un economista$9195058 997 $aUNISANNIO