00901cam0 2200241 450 E60020005590820200512082048.020091106d1973 |||||ita|0103 bafreITDemitizzazione e ideologiaAtti del Convegno indetto dal Centro Internazionale di Studi Umanistici e dall'Istituto di Studi Filosofici .Roma, 4-9 Gennaio 1973cur. Enrico CastelliRomaIstituto di Studi Filosofici1973595 p.24 cmCastelli, EnricoA600200052148070ITUNISOB20200512RICAUNISOBUNISOB10074872E600200055908M 102 Monografia moderna SBNM100008686Si74872acquistopregresso1UNISOBUNISOB20091106125227.020200512082030.0SpinosaDemitizzazione e ideologia164602UNISOB04077nam 22008295 450 99646646280331620200705130340.03-319-24255-510.1007/978-3-319-24255-2(CKB)4340000000001117(SSID)ssj0001584972(PQKBManifestationID)16265246(PQKBTitleCode)TC0001584972(PQKBWorkID)14866002(PQKB)10569071(DE-He213)978-3-319-24255-2(MiAaPQ)EBC6283599(MiAaPQ)EBC5586312(Au-PeEL)EBL5586312(OCoLC)921889385(PPN)19052846X(EXLCZ)99434000000000111720150905d2015 u| 0engurnn|008mamaatxtccrComputer Safety, Reliability, and Security[electronic resource] 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /edited by Floor Koornneef, Coen van Gulijk1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XXII, 486 p. 141 illus. in color.) Programming and Software Engineering ;9337Bibliographic Level Mode of Issuance: Monograph3-319-24254-7 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.Programming and Software Engineering ;9337Computer logicProgramming languages (Electronic computers)Software engineeringComputer securityApplication softwareComputer organizationLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Computer logic.Programming languages (Electronic computers).Software engineering.Computer security.Application software.Computer organization.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Software Engineering.Systems and Data Security.Computer Applications.Computer Systems Organization and Communication Networks.004Koornneef Flooredthttp://id.loc.gov/vocabulary/relators/edtvan Gulijk Coenedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466462803316Computer Safety, Reliability, and Security2175020UNISA