LEADER 01225nam a2200265 i 4500
001 991001100199707536
008 050614s1998    fr a     b    001 0 fre d
020   $a2865151069
035   $ab13320476-39ule_inst
040   $aDi.S.Te.B.A.$beng
082 0 $a595.3
100 1 $aDefaye, Danielle$0622427
245   $aAtlas et bibliographie des crestacés branchiopodes (Anostraca, Notostraca, Spinicaudata) de France métropolitaine /$cDanielle Defaye, Nicolas Rabet et Alain Thiéry
260   $aParis :$bMNHN, $c1998
300   $a61 p. :$ill. ;$c30 cm
440  0$aCollection Patrimoines du SPN,$x1158-422X ;$v32
504   $aIncludes bibilographica references (p. 40-45) and index
700 1 $aRabet, Nicolas$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0737943
700 1 $aThiéry, Alain
907   $a.b13320476$b02-04-14$c15-06-05
912   $a991001100199707536
945   $aLE003 595.3 DEF01.01 (1998)$g1$i2003000047097$lle003$op$pE15.00$q-$rl$s-  $t0$u3$v21$w3$x0$y.i14114768$z27-07-05
996   $aAtlas et bibliographie des crestacés branchiopodes (Anostraca, Notostraca, Spinicaudata) de France métropolitaine$91461410
997   $aUNISALENTO
998   $ale003$b  -  -  $cm$da  $e-$fita$git $h0$i0

LEADER 01608nam  2200457Ia 450 
001 9910701385203321
005 20120305143343.0
035   $a(CKB)5470000002417212
035   $a(OCoLC)779188644
035   $a(EXLCZ)995470000002417212
100   $a20120305d2005      ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 02$aA methodology for the design and verification of globally asynchronous/locally synchronous architectures$b[electronic resource] /$fSteven P. Miller ... [and others]
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2005]
215   $a1 online resource (vi, 35 pages) $cillustrations
225 1 $aNASA/CR ;$v2005-213912
300   $aTitle from title screen (viewed on March 5, 2012).
300   $a"September 2005."
320   $aIncludes bibliographical references. (pages 34-35)
606   $aComplex systems$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSynchronism$2nasat
606   $aProving$2nasat
606   $aComputers$2nasat
615  7$aComplex systems.
615  7$aProgram verification (computers)
615  7$aSynchronism.
615  7$aProving.
615  7$aComputers.
701   $aMiller$b Steven P$01205252
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701385203321
996   $aA methodology for the design and verification of globally asynchronous$93545375
997   $aUNINA