LEADER 03919nam  22007935  450 
001 996465473303316
005 20230406024118.0
010   $a3-319-03089-2
024 7 $a10.1007/978-3-319-03089-0
035   $a(CKB)3710000000024370
035   $a(SSID)ssj0001091957
035   $a(PQKBManifestationID)11655219
035   $a(PQKBTitleCode)TC0001091957
035   $a(PQKBWorkID)11032300
035   $a(PQKB)11454353
035   $a(DE-He213)978-3-319-03089-0
035   $a(MiAaPQ)EBC3096872
035   $a(PPN)176107452
035   $a(EXLCZ)993710000000024370
100   $a20131017d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStabilization, Safety, and Security of Distributed Systems$b[electronic resource] $e15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /$fedited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
205   $a1st ed. 2013.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2013.
215   $a1 online resource (XXIV, 380 p. 86 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8255
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-03088-4 
327   $aSelf-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks.
330   $aThis book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8255
606   $aComputer networks
606   $aSoftware engineering
606   $aApplication software
606   $aComputer science
606   $aAlgorithms
606   $aData protection
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aData and Information Security
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aData protection.
615 14$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aData and Information Security.
676   $a004.6
702   $aHigashino$b Teruo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKatayama$b Yoshiaki$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMasuzawa$b Toshimitsu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPotop-Butucaru$b Maria$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aYamashita$b Masafumi$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465473303316
996   $aStabilization, Safety, and Security of Distributed Systems$9772094
997   $aUNISA