LEADER 00994nam0-22003371i-450- 001 990004386720403321 005 20031103173054.0 010 $a84-7030-857-2 035 $a000438672 035 $aFED01000438672 035 $a(Aleph)000438672FED01 035 $a000438672 100 $a19990604d2001----km-y0itay50------ba 101 0 $aspa 102 $aES 105 $ay-------001yy 200 1 $aGuerra de ideas en el joven Unamuno (1880-1900)$fJean-Claude Rabaté$gprologo de José-Carlos Mainer 210 $aMadrid$cBiblioteca nueva$d2001 215 $a219 p.$d21 cm 225 1 $aEnsayos$v18 610 0 $aUnamuno, Miguel de 676 $a868.6209$v21$zita 700 1$aRabaté,$bJean-Claude$0389059 702 1$aMainer Baque,$bJose-Carlos$f<1944- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004386720403321 952 $aP.3 B 13960$fFLFBC 959 $aFLFBC 996 $aGuerra de ideas en el joven Unamuno (1880-1900$9542701 997 $aUNINA LEADER 03921nam 22007815 450 001 996466209803316 005 20201107132833.0 010 $a3-642-33678-7 024 7 $a10.1007/978-3-642-33678-2 035 $a(CKB)3400000000086262 035 $a(SSID)ssj0000767474 035 $a(PQKBManifestationID)11941721 035 $a(PQKBTitleCode)TC0000767474 035 $a(PQKBWorkID)10740092 035 $a(PQKB)10244151 035 $a(DE-He213)978-3-642-33678-2 035 $a(MiAaPQ)EBC3070170 035 $a(PPN)168325136 035 $a(EXLCZ)993400000000086262 100 $a20120906d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings /$fedited by Frank Ortmeier, Peter Daniel 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XVIII, 402 p. 138 illus.) 225 1 $aProgramming and Software Engineering ;$v7612 300 $aInternational conference proceedings. 311 $a3-642-33677-9 320 $aIncludes bibliographical references and author index. 327 $aTools -- Risk Analysis -- Testing -- Quantitative Analysis -- Security -- Formal Methods -- Aeronautic -- Automotive -- Process -- Case Studies. 330 $aThis book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies. 410 0$aProgramming and Software Engineering ;$v7612 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 $aOrtmeier$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDaniel$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP (Conference) 906 $aBOOK 912 $a996466209803316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA