LEADER 00794nam0-22003011i-450-
001 990003285380403321
005 20001010
035   $a000328538
035   $aFED01000328538
035   $a(Aleph)000328538FED01
035   $a000328538
100   $a20000920d1901----km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aCULTURA DEL FRUMENTO 1899-1900
210   $aPortici$cs.e.$d1901
215   $app. 154
610 0 $aProduzione
676   $a047.007
710 02$aAssociazione di proprietari ed agricoltori$c<Napoli>$0353923
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990003285380403321
952   $a047.007.ASS$b2396$fDECGE
959   $aDECGE
996   $aCULTURA DEL FRUMENTO 1899-1900$9445855
997   $aUNINA
DB    $aING01

LEADER 01544nam  2200433Ia 450 
001 9910701156903321
005 20111128133532.0
035   $a(CKB)5470000002415478
035   $a(OCoLC)763301482
035   $a(EXLCZ)995470000002415478
100   $a20111128d2011      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel checking 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-217152
300   $aTitle from title screen (viewed on Nov. 28, 2011).
300   $a"May 2011."
320   $aIncludes bibliographical references (page 21).
606   $aClocks$2nasat
606   $aStabilization$2nasat
606   $aDistributed processing$2nasat
606   $aTime synchronization$2nasat
615  7$aClocks.
615  7$aStabilization.
615  7$aDistributed processing.
615  7$aTime synchronization.
700   $aMalekpour$b Mahyar R$01394752
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701156903321
996   $aModel checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$93545361
997   $aUNINA