000 | 03481nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-030-03232-6 | ||
003 | DE-He213 | ||
005 | 20210201191355.0 | ||
007 | cr nn 008mamaa | ||
008 | 181019s2018 gw | s |||| 0|eng d | ||
020 |
_a9783030032326 _9978-3-030-03232-6 |
||
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] : _b20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings / _cedited by Taisuke Izumi, Petr Kuznetsov. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXIII, 410 p. 101 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 ; _v11201 |
|
500 | _aAcceso multiusuario | ||
520 | _aThis book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments. . | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aComputer communication systems. | |
650 | 0 | _aSpecial purpose computers. | |
650 | 0 | _aArchitecture, Computer. | |
650 | 0 | _aOperating systems (Computers). | |
650 | 0 | _aLogic design. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 |
_aComputer Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13022 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13030 |
650 | 2 | 4 |
_aComputer System Implementation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13057 |
650 | 2 | 4 |
_aOperating Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14045 |
650 | 2 | 4 |
_aLogic Design. _0https://scigraph.springernature.com/ontologies/product-market-codes/I12050 |
650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
700 | 1 |
_aIzumi, Taisuke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aKuznetsov, Petr. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030032319 |
776 | 0 | 8 |
_iPrinted edition: _z9783030032333 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v11201 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-03232-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c242742 _d242741 |