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

LEADER 01380nam a2200277 i 4500
001 991004213149707536
005 20020506115925.0
008 981210s1998    at            ||| | ger  
020   $a3700127030
035   $ab10629294-39ule_inst
035   $aEXGIL136317$9ExL
040   $aBiblioteca Interfacoltà$bita
100 1 $aMarinelli Konig, Gertraud$0470473
245 10$aRussland in den Wiener Zeitschriften und Almanachen des Vormatz, 1805-1848 :$bein beitrag zur geschichte der osterreichisch-russischen kultur- und literaturbeziehungen :$bbeiheft mit nachtragen /$cGertraud Marinelli-Konig
260   $aWien :$bOsterreichische Akademie der wissenschaften,$c1998
300   $ax, 129 p. ;$c24 cm.
490 0 $aSitzungsberichte / Osterreichische Akademie der wissenschaften, philosophisch-historische klasse ;$v654
490 0 $aVeroffentlichungen der Kommission fur literaturwissenschaft ;$v18
650  4$aPeriodici austriaci$xStoria$y1805-1848
651  4$aAustria - Giudizi sulla Russia$y1805-1848
907   $a.b10629294$b23-02-17$c28-06-02
912   $a991004213149707536
945   $aLE002 Coll. 2. 175$g1$iLE002-24926N$lle002$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i10716981$z28-06-02
996   $aRussland in den Wiener Zeitschriften und Almanachen des Vormatz, 1805-1848$9234470
997   $aUNISALENTO
998   $ale002$b01-01-98$cm$da  $e-$fger$gat $h0$i1