| 000 | 02489nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-28766-9 | ||
| 003 | DE-He213 | ||
| 005 | 20200421112223.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160104s2016 gw | s |||| 0|eng d | ||
| 020 |
_a9783319287669 _9978-3-319-28766-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-28766-9 _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 |
_aTrustworthy Global Computing _h[electronic resource] : _b10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers / _cedited by Pierre Ganty, Michele Loreti. |
| 250 | _a1st ed. 2016. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
| 300 |
_aIX, 163 p. 30 illus. _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 ; _v9533 |
|
| 520 | _aThis book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer organization. | |
| 650 | 0 | _aComputer security. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSystems and Data Security. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aInformation Systems Applications (incl. Internet). |
| 650 | 2 | 4 | _aComputer Systems Organization and Communication Networks. |
| 700 | 1 |
_aGanty, Pierre. _eeditor. |
|
| 700 | 1 |
_aLoreti, Michele. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319287652 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9533 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-28766-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57538 _d57538 |
||