LEADER 01002nam0-2200325---450- 001 990009861660403321 005 20140526104216.0 010 $a887448223X 035 $a000986166 035 $aFED01000986166 035 $a(Aleph)000986166FED01 035 $a000986166 100 $a20140526d1988----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------101yy 200 1 $a<>lavoro penitenziario$erealtà e prospettive$f[contributi di Nicolò Amato ... et al.] 210 $aRoma$cGangemi$d1988 215 $a230 p.$d24 cm 300 $aAtti del Convegno organizzato dalla Commissione nazionale per il lavoro penitenziario 300 $aConvegno tenuto a Reggio Calabria nel 1987 702 1$aAmato,$bNicolò 712 02$aCommissione nazionale per il lavoro penitenziario 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009861660403321 952 $a3-22$fDSPCP 959 $aDSPCP 996 $aLavoro penitenziario$9828112 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