LEADER 03824nam  22007695  450 
001 996465931603316
005 20200630172351.0
010   $a3-642-24270-7
024 7 $a10.1007/978-3-642-24270-0
035   $a(CKB)2550000000054183
035   $a(SSID)ssj0000609392
035   $a(PQKBManifestationID)11361948
035   $a(PQKBTitleCode)TC0000609392
035   $a(PQKBWorkID)10608796
035   $a(PQKB)10443020
035   $a(DE-He213)978-3-642-24270-0
035   $a(MiAaPQ)EBC3067185
035   $a(PPN)156318458
035   $a(EXLCZ)992550000000054183
100   $a20110907d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings /$fedited by Francesco Flammini, Sandro Bologna, Valeria Vittorini
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XI, 482 p. 180 illus., 93 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6894
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24269-3 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
410  0$aProgramming and Software Engineering ;$v6894
606   $aComputer security
606   $aComputer communication systems
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputers and civilization
606   $aSpecial purpose computers
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aComputer security.
615  0$aComputer communication systems.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputers and civilization.
615  0$aSpecial purpose computers.
615 14$aSystems and Data Security.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aComputers and Society.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.8
702   $aFlammini$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBologna$b Sandro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVittorini$b Valeria$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465931603316
996   $aComputer Safety, Reliability, and Security$9772429
997   $aUNISA