LEADER 03687nam  22007935  450 
001 996199740903316
005 20230329172425.0
010   $a3-319-21741-0
024 7 $a10.1007/978-3-319-21741-3
035   $a(CKB)3890000000001324
035   $a(SSID)ssj0001558634
035   $a(PQKBManifestationID)16183579
035   $a(PQKBTitleCode)TC0001558634
035   $a(PQKBWorkID)14819330
035   $a(PQKB)11303394
035   $a(DE-He213)978-3-319-21741-3
035   $a(MiAaPQ)EBC5596459
035   $a(PPN)188460225
035   $a(EXLCZ)993890000000001324
100   $a20150803d2015      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] $e17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /$fedited by Andrzej Pelc, Alexander A. Schwarzmann
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XXI, 288 p. 47 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9212
300   $aIncludes Index.
311   $a3-319-21740-2 
327   $aSelf-stabilization -- Fault-tolerance and dependability -- Ad-hoc and sensor Networks -- Mobile agents -- System security in distributed computing -- Formal methods and distributed algorithms.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9212
606   $aComputer networks
606   $aSoftware engineering
606   $aApplication software
606   $aElectronic data processing?Management
606   $aComputer science
606   $aData protection
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aComputer and Information Systems Applications
606   $aIT Operations
606   $aComputer Science Logic and Foundations of Programming
606   $aData and Information Security
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aElectronic data processing?Management.
615  0$aComputer science.
615  0$aData protection.
615 14$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aComputer and Information Systems Applications.
615 24$aIT Operations.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aData and Information Security.
676   $a004.36
702   $aPelc$b Andrzej$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchwarzmann$b Alexander A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996199740903316
996   $aStabilization, Safety, and Security of Distributed Systems$9772094
997   $aUNISA