LEADER 01066nam1-2200349---450-
001 990001078270203316
005 20020507143243.0
010   $a0-387-94907-0
035   $a000107827
035   $aUSA01000107827
035   $a(ALEPH)000107827USA01
035   $a000107827
100   $a20020507g1997----k--y0itay0103----ba
101 1 $aENG
102   $aUS
200 1 $aAutomata and computability$fDexter C. Kozen
210   $aNew York [etc.]$cSpringer$dcopyr. 1997
215   $aXIII, 400 p.$cill.$d20 cm
225 2 $aUndergraduate texts in computer science
410  0$1Undergraduate texts in computer science
610   $aTeoria delle macchine
610   $aFunzioni computabili
676   $a511.3
700  1$aKozen,$bDexter C.$065955
801  0$aIT$bAtlantis$gRICA$2UNIMARC
912   $a990001078270203316
951   $a511.3 KOZ$b0027561 CBS$c511.3$d00111131
959   $aBK
979   $aDIGIUSEPPE$b90$c20020507$lUSA01$h1432
979   $aPATRY$b90$c20040406$lUSA01$h1715
996   $aAutomata and computability$9374080
997   $aUNISA

LEADER 01300nam a2200277 i 4500
001 991000537469707536
008 041106s1985    it  a         001 0 ita d
035   $ab13235539-39ule_inst
040   $aDip.to Beni Culturali $bita
245 10$aRoma :$bstudio per la sistemazione dell'area archeologica centrale /$ca cura di Leonardo Benevolo ; scritti di L. Benevolo, A. Cagnardi [et al.]
260   $aRoma :$bDe Luca editori s.r.l.,$c1985
300   $a117 p., [2] c. di tav. :$bill. ;$c30 cm
490 1 $aLavori e studi di archeologia pubblicati dalla Soprintendenza Archeologica di Roma ;$v7
651  4$aRoma antica$xConservazione
651  4$aRoma Antica$xRestauro
651  4$aRoma antica$xSistemazione urbanistica
700 1 $aBenevolo, Leonardo
700 1 $aCagnardi, Augusto
710 1 $aItalia.$bMinistero per i beni culturali e ambientali.$bSoprintendenza archeologica, Roma
830  0$aLavori e studi di archeologia pubblicati dalla Soprintendenza archeologica di Roma ;$v7
907   $a.b13235539$b21-09-06$c06-11-04
912   $a991000537469707536
945   $aLE001 AR IX 88/7$g1$i2001000144464$lle001$nCambio$oe$pE28.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i13917730$z06-11-04
996   $aRoma$957564
997   $aUNISALENTO
998   $ale001$b26-11-04$cm$da  $e-$fita$git $h0$i0