LEADER 03540nam  22007575  450 
001 9910484055203321
005 20230405233736.0
024 7 $a10.1007/11577327
035   $a(CKB)1000000000213340
035   $a(SSID)ssj0000319971
035   $a(PQKBManifestationID)11214978
035   $a(PQKBTitleCode)TC0000319971
035   $a(PQKBWorkID)10342357
035   $a(PQKB)11636694
035   $a(DE-He213)978-3-540-32123-1
035   $a(MiAaPQ)EBC3067903
035   $a(PPN)123098440
035   $a(EXLCZ)991000000000213340
100   $a20100323d2005      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSelf-Stabilizing Systems $e7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 /$fedited by Sébastien Tixeuil, Ted Herman
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (X, 229 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3764
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-32123-3 
311   $a3-540-29814-2 
320   $aIncludes bibliographical references and index.
327   $aSnap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operating Systems -- Code Stabilization -- Stabilizing Certificate Dispersal -- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection -- Approximation of Self-stabilizing Vertex Cover Less Than 2 -- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings -- Towards Automatic Convergence Verification of Self-stabilizing Algorithms -- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3764
606   $aComputer networks
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer science
606   $aAlgorithms
606   $aElectronic data processing?Management
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aTheory of Computation
606   $aAlgorithms
606   $aIT Operations
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aElectronic data processing?Management.
615 14$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aTheory of Computation.
615 24$aAlgorithms.
615 24$aIT Operations.
676   $a004.6
702   $aTixeuil$b Sébastien$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHerman$b Ted$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484055203321
996   $aSelf-Stabilizing Systems$9772796
997   $aUNINA