LEADER 02217nlm0 22006131i 450 
001 990009261080403321
010   $a9783642026584
035   $a000926108
035   $aFED01000926108
035   $a(Aleph)000926108FED01
035   $a000926108
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aComputer Aided Verification$bRisorsa elettronica$e21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ahmed Bouajjani, Oded Maler
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5643
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aBouajjani,$bAhmed
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aMaler,$bOded
702  1$aMattern,$bFriedemann
702  1$aMitchell,$bJohn C.
702  1$aNaor,$bMoni
702  1$aNierstrasz,$bOscar
702  1$aPandu Rangan,$bC.
702  1$aSteffen,$bBernhard
702  1$aSudan,$bMadhu
702  1$aTerzopoulos,$bDemetri
702  1$aTygar,$bDoug
702  1$aVardi,$bMoshe Y.
702  1$aWeikum,$bGerhard
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-02658-4
901   $aEB
912   $a990009261080403321
961   $aArtificial intelligence
961   $aArtificial Intelligence (incl. Robotics)
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogic Design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aComputer Aided Verification$9772228
997   $aUNINA

LEADER 01532nam2-2200469---450-
001 990002196750203316
005 20060117172444.0
010   $a88-317-6004-1
035   $a000219675
035   $aUSA01000219675
035   $a(ALEPH)000219675USA01
035   $a000219675
100   $a20041122d19962002km-y0enga50------ba
101 0 $aita
102   $aIT
105   $ay|||z|||001yy
200 1 $a<<28. : Il>> padre di famiglia$fCarlo Goldoni
205   $a2. ed.
210   $aVenezia$cMarsilio$dcopyr. 1996 (stampa 2002)
215   $a704 p.$d18 cm
225 2 $aLetteratura universale Marsilio
300   $aContiene il testo nelle ed. Venezia, 1751; Firenze, Paperini, 1754; Venezia, 1764
410   $aLetteratura universale Marsilio
461  1$10010034488$12001$aCarlo Goldoni: Le Opere
676   $a852.6
700  1$aGOLDONI,$bCarlo$f<1707-1793>$0158273
702  1$aSCANNAPIECO,$bAnna
801  0$aIT$2UNIMARC
912   $a990002196750203316
951   $aVI.3. Coll.21/ 28(V A 1229/28)$b177363 L.M.$cV A$d00115122
959   $aBK
969   $aUMA
979   $aMARIA$b10$c20041122$lUSA01$h0944
979   $aPAOLA$b90$c20050624$lUSA01$h1107
979   $aPAOLA$b90$c20050624$lUSA01$h1119
979   $aPAOLA$b90$c20050628$lUSA01$h1014
979   $aPAOLA$b90$c20050628$lUSA01$h1813
979   $aPAOLA$b90$c20050628$lUSA01$h1814
979   $aCOPAT1$b90$c20060117$lUSA01$h1724
979   $aPATRY$b90$c20070710$lUSA01$h1020
996   $aPadre di famiglia$91032791
997   $aUNISA