LEADER 01161nam--2200373---450-
001 990002961600203316
005 20070807163408.0
010   $a3-540-20971-9
035   $a000296160
035   $aUSA01000296160
035   $a(ALEPH)000296160USA01
035   $a000296160
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aModel-Checking Based Data Retrieval$ean application to semistructured and temporal data$fElisa Quintarelli
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXIV, 134 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2917
410  0$12001$aLecture notes in computer science$v2917
454  1$12001
461  1$1001-------$12001
606   $aInformatica$xProgrammazione
676   $a005.1
700  1$aQUINTARELLI,$bElisa$0597777
801  0$aIT$bsalbc$gISBD
912   $a990002961600203316
951   $a001 LNCS 2917$b31008/CBS$c001 LNCS$d00215333
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1634
996   $aModel-Checking Based Data Retrieval$91026858
997   $aUNISA

LEADER 01269nam1 22003131i 450 
001 VAN0022713
005 20040906120000.0
100   $a20040906d1993       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aBiologia$fPeter H. Raven, George B. Johnson$gedizione italiana a cura del prof. Lorenzo Silengo
210   $aNapoli$cEDISES
215   $av.$d28 cm.
463  1$1001VAN0022715$12001 $aˆ<<‰Biologia>> 1$fPeter H. Raven, George B. Johnson$gedizione italiana a cura di: Franco Mangia, Lorenzo Silengo$1205  $a2. ed$1210  $aNapoli$cEdiSES$d1993$1215  $a504 p.$cill.$d29 cm.$v1
620   $dNapoli$3VANL000005
700  1$aRaven$bPeter H.$3VANV013198$063769
701  1$aJohnson$bGeorge B.$3VANV013223$064598
702  1$aSilengo$bLorenzo$3VANV018929
712   $aEdiSES <editore>$3VANV108040$4650
790  1$aRaven, P. H.$zRaven, Peter H.$3VANV100998
790  1$aRaven, P.H.$zRaven, Peter H.$3VANV206096
790  1$aRaven, Peter Hamilton$zRaven, Peter H.$3VANV211729
790  1$aJohnson, G. B.$zJohnson, George B.$3VANV065084
790  1$aJohnson, G.B.$zJohnson, George B.$3VANV065085
801   $aIT$bSOL$c20231222$gRICA
912   $aVAN0022713
996   $aBiologia$91406434
997   $aUNICAMPANIA