| 000 | 02612nam a22005775i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-24270-0 | ||
| 003 | DE-He213 | ||
| 005 | 20160624102204.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110907s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642242700 _9978-3-642-24270-0 |
||
| 024 | 7 |
_a10.1007/978-3-642-24270-0 _2doi |
|
| 050 | 4 | _aQA76.9.A25 | |
| 072 | 7 |
_aUR _2bicssc |
|
| 072 | 7 |
_aUTN _2bicssc |
|
| 072 | 7 |
_aCOM053000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.8 _223 |
| 245 | 1 | 0 |
_aComputer Safety, Reliability, and Security _h[electronic resource] : _b30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / _cedited by Francesco Flammini, Sandro Bologna, Valeria Vittorini. |
| 260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 300 |
_aXI, 482p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6894 |
|
| 520 | _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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer Communication Networks. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aData protection. | |
| 650 | 0 | _aComputer software. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSystems and Data Security. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 650 | 2 | 4 | _aComputers and Society. |
| 650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
| 700 | 1 |
_aFlammini, Francesco. _eeditor. |
|
| 700 | 1 |
_aBologna, Sandro. _eeditor. |
|
| 700 | 1 |
_aVittorini, Valeria. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642242694 |
| 786 | _dSpringer | ||
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6894 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-24270-0 |
| 942 |
_2EBK9928 _cEBK |
||
| 999 |
_c39222 _d39222 |
||