LEADER 01105nam a22002771i 4500
001 991002014639707536
005 20040117134203.0
008 040407s1980    it a||||||||||||||||ita  
035   $ab12857762-39ule_inst
035   $aARCHE-083738$9ExL
040   $aDip.to Scienze Storiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a728
100 1 $aCornaglia, Bruno$0129897
245 10$aVivere col mare /$cBruno Cornaglia, Elvio Lavagna, Paolo Cornaglia
260   $aBologna :$bZanichelli,$c1980
300   $a108 p. :$bill. ;$c27 cm
650  4$aAbitazioni
650  4$aEdilizia residenziale
700 1 $aLavagna, Elvio$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0272697
700 1 $aCornaglia, Paolo$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0522936
907   $a.b12857762$b02-04-14$c16-04-04
912   $a991002014639707536
945   $aLE009 GEOG.13.3-41$g1$i2009000315402$lle009$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i13417915$z16-04-04
996   $aVivere col mare$91448451
997   $aUNISALENTO
998   $ale009$b16-04-04$cm$da  $e-$fita$git $h0$i1

LEADER 01988nam  2200565Ia 450 
001 9910702076503321
005 20120828090537.0
035   $a(CKB)5470000002423361
035   $a(OCoLC)808419931
035   $a(EXLCZ)995470000002423361
100   $a20120828d2012      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated formal analysis of timed-triggered ethernet$b[electronic resource] /$fBruno Dutertre, Natarajan Shankar, and Sam Owre
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2012]
215   $a1 online resource (28 pages) $cillustrations
225 1 $aNASA/CR ;$v2012-217554
300   $aTitle from title screen (viewed on Aug. 28, 2012).
300   $a"March 2012."
300   $a"Prepared by SRI International under NASA contract NNL10AB32T with Honeywell International, Inc."--Rept. documentation p.
320   $aIncludes bibliographical references (pages 23-24).
606   $aEthernet$2nasat
606   $aProtocol (computers)$2nasat
606   $aTopology$2nasat
606   $aComputer networks$2nasat
606   $aTime synchronization$2nasat
606   $aFormalism$2nasat
606   $aMathematical models$2nasat
615  7$aEthernet.
615  7$aProtocol (computers)
615  7$aTopology.
615  7$aComputer networks.
615  7$aTime synchronization.
615  7$aFormalism.
615  7$aMathematical models.
700   $aDutertre$b Bruno$0885000
701   $aShankar$b N$g(Natarajan)$01412687
701   $aOwre$b Sam$01412688
712 02$aLangley Research Center.
712 02$aSRI International.
712 02$aHoneywell International Inc.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702076503321
996   $aIntegrated formal analysis of timed-triggered ethernet$93507011
997   $aUNINA