|
|
|
|
| LEADER |
03186nam a2200577 4500 |
| 001 |
978-3-030-03232-6 |
| 003 |
DE-He213 |
| 005 |
20191027051129.0 |
| 007 |
cr nn 008mamaa |
| 008 |
181019s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030032326
|9 978-3-030-03232-6
|
| 024 |
7 |
|
|a 10.1007/978-3-030-03232-6
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a TK5105.5-5105.9
|
| 072 |
|
7 |
|a UKN
|2 bicssc
|
| 072 |
|
7 |
|a COM075000
|2 bisacsh
|
| 072 |
|
7 |
|a UKN
|2 thema
|
| 082 |
0 |
4 |
|a 004.6
|2 23
|
| 245 |
1 |
0 |
|a Stabilization, Safety, and Security of Distributed Systems
|h [electronic resource] :
|b 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /
|c edited by Taisuke Izumi, Petr Kuznetsov.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a XIII, 410 p. 101 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Theoretical Computer Science and General Issues ;
|v 11201
|
| 520 |
|
|
|a This 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. .
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Special purpose computers.
|
| 650 |
|
0 |
|a Architecture, Computer.
|
| 650 |
|
0 |
|a Operating systems (Computers).
|
| 650 |
|
0 |
|a Logic design.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Communication Networks.
|0 http://scigraph.springernature.com/things/product-market-codes/I13022
|
| 650 |
2 |
4 |
|a Special Purpose and Application-Based Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I13030
|
| 650 |
2 |
4 |
|a Computer System Implementation.
|0 http://scigraph.springernature.com/things/product-market-codes/I13057
|
| 650 |
2 |
4 |
|a Operating Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I14045
|
| 650 |
2 |
4 |
|a Logic Design.
|0 http://scigraph.springernature.com/things/product-market-codes/I12050
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|0 http://scigraph.springernature.com/things/product-market-codes/I21000
|
| 700 |
1 |
|
|a Izumi, Taisuke.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Kuznetsov, Petr.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030032319
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030032333
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 11201
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-03232-6
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
