LEADER 01646nas0-22004451i-450- 001 990001017830203316 005 20050721135808.0 011 $a0928-2866 035 $a0101783 035 $aUSA010101783 035 $a(ALEPH)000101783USA01 035 $a0101783 100 $a20020306a1993----km-y0itay0103----ba 101 $adut 102 $aNL 110 $aaka----0--1 200 1 $aPerspectives in drug discovery and design 207 1$a1 (1993)- 20 (2000). 210 $aDordrecht$cKluwer Academic Publ. 215 $av.$cill. 326 $aAnnuale 422 $10010101777$12001$aJournal of computer-aided molecular design 444 1$10010101777$12001$aJournal of computer-aided molecular design 676 $a542.8 801 0$aIT$bsalbc$gISBD 912 $a990001017830203316 958 $aFAR$bFAR$c1(1993)-20 (2000). 959 $aSE 979 $aJOHNNY$b90$c20020306$lUSA01$h1135 979 $aJOHNNY$b90$c20020306$lUSA01$h1136 979 $aJOHNNY$b90$c20020306$lUSA01$h1138 979 $c20020403$lUSA01$h1743 979 $aPATRY$b90$c20040406$lUSA01$h1710 979 $aVITTORIANA$b90$c20050721$lUSA01$h1349 979 $aVITTORIANA$b90$c20050721$lUSA01$h1354 979 $aVITTORIANA$b90$c20050721$lUSA01$h1358 996 $aPerspectives in drug discovery and design$9974044 997 $aUNISA Z30 2$lUSA50$LAdministrative$mISSUE$1FAR$AFAR$3Farm$5133314-10$820020514$a2001$b20$c1$f09$FNON Prestabile$hVol.20, n. 1 (2001)$i20010615$j20010622 Z30 2$lUSA50$LAdministrative$mISSUE$1FAR$AFAR$3Farm$5133314-20$820020514$a2001$b21$c1$f09$FNON Prestabile$hVol.21, n. 1 (2001)$i20011215$j20011222 LEADER 01264nam2-2200373---450- 001 990000351310203316 035 $a0035130 035 $aUSA010035130 035 $a(ALEPH)000035131USA01 035 $a0035130 100 $a20010307d1985----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aFormal methods and software development$ecolloquium on software engineering (CSE) 210 $aBerlin$cSpringer Verlag$dc1985 215 $aXIV, 455 p$cdiagr.$d24 cm 225 2 $aLecture notes in computer science$v186 410 $12001$aLecture notes in computer science$v186 461 1$10010035129$12001$aTAPSOFT 676 $a001.6425 710 12$aInternational joint conference on theory and practice of software development $0543210 801 0$aIT$bsalbc$gISBD 912 $a990000351310203316 951 $a001 LNCS 186$b14055$c001 LNCS$d00101516 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010307$lUSA01$h1341 979 $aPATTY$b90$c20010307$lUSA01$h1343 979 $aPATTY$b90$c20010307$lUSA01$h1343 979 $c20020403$lUSA01$h1643 979 $aPATRY$b90$c20040406$lUSA01$h1624 996 $aFormal methods and software development$9878456 997 $aUNISA