LEADER 00790nam0-22002651i-450-
001 990004187050403321
005 20160126131629.0
035   $a000418705
035   $aFED01000418705
035   $a(Aleph)000418705FED01
035   $a000418705
100   $a19990604g19659999km-y0itay50------ba
101 0 $aeng
105   $ay-------00-y-
200 1 $aRevised Medieval Latin Word-List$eFrom British and Irish Source,$fR.E.Latham
210   $aLondon$cOxford University$d1965
215   $aXXIII, 524 p.$d25 cm
700  1$aLatham,$bRonald Edward$0163838
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004187050403321
952   $aP2B-230-2MED REV 1$bIst.Fil.Cl.1075$fFLFBC
959   $aFLFBC
996   $aRevised Medieval Latin Word-List$9485083
997   $aUNINA

LEADER 00993nam--2200337---450-
001 990003308640203316
005 20090910111123.0
035   $a000330864
035   $aUSA01000330864
035   $a(ALEPH)000330864USA01
035   $a000330864
100   $a20090910d1976----km-y0itay50------ba
101   $aita
102   $aIT
105   $a||||||||001yy
200 1 $aCircuiti binari$eproblemi e soluzioni$fKlaus Heim, Klaus Schöffel$gTrad. di Graziella Del Monte
210   $aMilano$cEtas libri$d1976
215   $aX, 188 p.$cill.$d21 cm
225 2 $aBinäre schaltwerke-Aufgaben und Lösungen
606 0 $aCircuiti logici
676   $a621.381
700  1$aHEIM,$bKlaus$0605724
701  1$aSCHÖFFEL,$bKlaus$0605725
801  0$aIT$bsalbc$gISBD
912   $a990003308640203316
951   $a621.381 HEI$b10077/CBS$c621.381$d00326963
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20090910$lUSA01$h1111
996   $aCircuiti binari$91121961
997   $aUNISA

LEADER 01361nam2-2200385---45--
001 990003132580203316
005 20080926160257.0
010   $a978-3-540-73367-6
035   $a000313258
035   $aUSA01000313258
035   $a(ALEPH)000313258USA01
035   $a000313258
100   $a20080728d2007----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aComputer aided verification$e19th International conference, CAV 2007$eBerlin, Germany,july 3-7, 2007$eproceedings$fWerner Damm, Holger Hermanns (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXV, 562 p.$cill.$d24 cm
225   $aLecture notes in computer science$v4590
410   $12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 1 $aSistemi operativi$xModelli matematici$xCongressi$yBerlin$z2007
676   $a005.1
702  1$aDAMM,$bWerner
702  1$aHERMANNS,$bHolger
710 12$aInternational conference, CAV 2007$d<19.;$f2007;$eBerlin>$0601863
801  0$aITA$bsalbc$gISBD
912   $a990003132580203316
951   $a001 LNCS 4590$b35172/CBS$c001$d00224621
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080728$lUSA01$h1011
979   $aANGELA$b90$c20080926$lUSA01$h1602
996   $aComputer aided verification$91016916
997   $aUNISA