LEADER 00944nam0-22002891i-450- 001 990008019800403321 005 20050308105116.0 035 $a000801980 035 $aFED01000801980 035 $a(Aleph)000801980FED01 035 $a000801980 100 $a20050308d1943----km-y0itay50------ba 101 0 $ager 102 $aDE 105 $ay-------001yy 200 1 $aGottkaiser und Kaiser von Gottes Gnaden$fvon Wilhelm Ensslin 210 $aMunchen$cBayerischen Akademie der Wissenschaften$d1943 215 $a134 p.$d23 cm 225 1 $aSitzungsberichte der Bayerischen Akademie der Wissenschaften. Philosophisch-historische Abteilung$v6 700 1$aEnsslin,$bWilhelm$f<1885-1965>$4070$0180005 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008019800403321 952 $aDDR-XVII Da 075.10$bs.i. ddr$fDDR$m21-4971 959 $aDDR 996 $aGottkaiser und Kaiser von Gottes Gnaden$9754312 997 $aUNINA LEADER 01356nam a2200277 a 4500 001 991001711349707536 008 030710s1995 sz 000 0 fre d 020 $a2051012385 035 $ab12186259-39ule_inst 040 $aDip.to Filosofia$bita 100 1 $aBayle, Pierre$0160491 245 10$aDictionnaire historique et critique /$cPierre Bayle 250 $a5. ed. de 1740, rev., corr. et augm 260 $aGeneve :$bSlatkine reprints,$c1995 300 $a4 v. ;$c37 cm 500 $av. 1: A-B ; v. 2:C-J ; v. 3:K-P ; v. 4: Q-Z. 650 4 $aStoria$xEnciclopedie e dizionari 907 $a.b12186259$b21-09-06$c10-07-03 912 $a991001711349707536 945 $aLE005 194 BAY01. DIZ01. 01. v. 1$cv. 1 $g1$i2005000138034$lle005$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12545491$z10-07-03 945 $aLE005 194 BAY01. DIZ01. 01. v. 2$cv. 2 $g1$i2005000138041$lle005$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12545508$z10-07-03 945 $aLE005 194 BAY01. DIZ01. 01. v. 3$cv. 3 $g1$i2005000138058$lle005$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i1254551x$z10-07-03 945 $aLE005 194 BAY01. DIZ01. 01. v. 4$cv. 4 $g1$i2005000138065$lle005$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12545521$z10-07-03 996 $aDictionnaire historique et critique$953893 997 $aUNISALENTO 998 $ale005$b - - $cm$d- $e-$ffre$gsz $h0$i0 LEADER 01650nam 2200481Ia 450 001 9910701781103321 005 20120515125108.0 035 $a(CKB)5470000002420284 035 $a(OCoLC)793652853 035 $a(EXLCZ)995470000002420284 100 $a20120515d2011 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCorrectness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$b[electronic resource] /$fMahyar R. Malekpour 210 1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011] 215 $a1 online resource (vi, 24 pages) $cillustrations 225 1 $aNASA/TM ;$v2011-217184 300 $aTitle from title screen (viewed on May 15, 2012). 300 $a"October 2011." 320 $aIncludes bibliographical references (page 23). 606 $aClocks$2nasat 606 $aSynchronism$2nasat 606 $aProving$2nasat 606 $aStabilization$2nasat 606 $aMessages$2nasat 606 $aProtocol (computers)$2nasat 615 7$aClocks. 615 7$aSynchronism. 615 7$aProving. 615 7$aStabilization. 615 7$aMessages. 615 7$aProtocol (computers) 700 $aMalekpour$b Mahyar R$01394752 712 02$aLangley Research Center. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910701781103321 996 $aCorrectness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$93520892 997 $aUNINA