LEADER 03492nam 22008535 450 001 996465975303316 005 20230223132549.0 010 $a3-642-25873-5 024 7 $a10.1007/978-3-642-25873-2 035 $a(CKB)3390000000021479 035 $a(SSID)ssj0000610598 035 $a(PQKBManifestationID)11973972 035 $a(PQKBTitleCode)TC0000610598 035 $a(PQKBWorkID)10638709 035 $a(PQKB)10708945 035 $a(DE-He213)978-3-642-25873-2 035 $a(MiAaPQ)EBC6283071 035 $a(MiAaPQ)EBC5576825 035 $a(Au-PeEL)EBL5576825 035 $a(OCoLC)769644674 035 $a(PPN)157510522 035 $a(EXLCZ)993390000000021479 100 $a20111208d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples of Distributed Systems$b[electronic resource] $e15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings /$fedited by Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XIII, 564 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7109 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-25872-7 320 $aIncludes bibliographical references and author index. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference on Principles of Distributed Systems, OPODIS 2011, held in Toulouse, France, in December 2011. The 26 revised papers presented in this volume were carefully reviewed and selected from 96 submissions. They represent the current state of the art of the research in the field of the design, analysis and development of distributed and real-time systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7109 606 $aComputer networks 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer Communication Networks 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 676 $aQA76.9.D5 702 $aFernández Anta$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLipari$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoy$b Matthieu$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aOPODIS (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465975303316 996 $aPrinciples of Distributed Systems$9772112 997 $aUNISA