| 000 | 03825nam a22006495i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-21741-3 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143303.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150803s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319217413 _9978-3-319-21741-3 |
||
| 024 | 7 |
_a10.1007/978-3-319-21741-3 _2doi |
|
| 050 | 4 | _aTK5105.5-5105.9 | |
| 072 | 7 |
_aUKN _2bicssc |
|
| 072 | 7 |
_aCOM075000 _2bisacsh |
|
| 072 | 7 |
_aUKN _2thema |
|
| 082 | 0 | 4 |
_a004.6 _223 |
| 245 | 1 | 0 |
_aStabilization, Safety, and Security of Distributed Systems _h[electronic resource] : _b17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / _cedited by Andrzej Pelc, Alexander A. Schwarzmann. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 |
_aXXI, 288 p. 47 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aTheoretical Computer Science and General Issues ; _v9212 _aLecture Notes in Computer Science _v9212 |
|
| 505 | 0 | _aSelf-stabilization -- Fault-tolerance and dependability -- Ad-hoc and sensor Networks -- Mobile agents -- System security in distributed computing -- Formal methods and distributed algorithms. | |
| 520 | _aThis book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms. | ||
| 650 | 0 | _aComputer communication systems. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aApplication software. | |
| 650 | 0 | _aManagement information systems. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aComputer security. | |
| 650 | 1 | 4 |
_aComputer Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13022 |
| 650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aInformation Systems Applications (incl. Internet). _0https://scigraph.springernature.com/ontologies/product-market-codes/I18040 |
| 650 | 2 | 4 |
_aManagement of Computing and Information Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I24067 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aSystems and Data Security. _0https://scigraph.springernature.com/ontologies/product-market-codes/I28060 |
| 700 | 1 |
_aPelc, Andrzej. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aSchwarzmann, Alexander A. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319217420 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319217406 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues ; _v9212 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v9212 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-21741-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57074 _d57074 |
||