LEADER 00793nam0-22002771i-450-
001 990004544610403321
005 19990530
035   $a000454461
035   $aFED01000454461
035   $a(Aleph)000454461FED01
035   $a000454461
100   $a19990530d1907----km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aUrchristentum in orient$fvon F. Crawford Burkitt$gdeutsch von Erwin Preuschen
210   $aTubingen$cMohr$d1907
215   $a160 p.$d21 cm
700  1$aBurkitt,$bFrancis Crawford$f<1864-1935>$0180790
702  1$aPreuschen,$bErwin
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004544610403321
952   $a6/IV A33-34$bBIBL.276$fFLFBC
959   $aFLFBC
996   $aUrchristentum in orient$9548014
997   $aUNINA

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