LEADER 02409nlm0 22006131i 450 
001 990009259690403321
010   $a9783642007682
035   $a000925969
035   $aFED01000925969
035   $a(Aleph)000925969FED01
035   $a000925969
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aTools and Algorithms for the Construction and Analysis of Systems$bRisorsa elettronica$e15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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, Stefan Kowalewski, Anna Philippou
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5505
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aKowalewski,$bStefan
702  1$aMattern,$bFriedemann
702  1$aMitchell,$bJohn C.
702  1$aNaor,$bMoni
702  1$aNierstrasz,$bOscar
702  1$aPandu Rangan,$bC.
702  1$aPhilippou,$bAnna
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-00768-2
901   $aEB
912   $a990009259690403321
961   $aAlgorithm Analysis and Problem Complexity
961   $aComputer science
961   $aComputer Science
961   $aComputer software
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aSoftware Engineering/Programming and Operating Systems
996   $aTools and Algorithms for the Construction and Analysis of Systems$9772021
997   $aUNINA

LEADER 01188nam1-22003611n-450-
001 990002425970203316
005 20100113125401.0
010   $a88-348-5339-3
035   $a000242597
035   $aUSA01000242597
035   $a(ALEPH)000242597USA01
035   $a000242597
100   $a20050531-2005----m||y0itay0103----ba
101 0 $aita
102   $aIT
105   $ay|||z|||001yy
200 1 $aRegole generali e regole speciali nella disciplina del contratto$econtributo per una ricostruzione sistematica$fMarilena Gorgoni
210   $aTorino$cG. Giappichelli$d2005
215   $aXI, 283 p.$d24 cm
225 2 $aStudi di diritto privato$v19
410  0$aStudi di diritto privato$v19
606 0 $aContratti
676   $a346.4502
700  1$aGORGONI,$bMarilena$0234205
801  0$aIT$bsalbc$gISBD
912   $a990002425970203316
951   $aXXV.1. Coll. 29/ 16 (COLL POC 19)$b46558 G.$cXXV.1. Coll. 29/ 16 (COLL POC)$d00126556
959   $aBK
969   $aGIU
979   $aRENATO$b90$c20050531$lUSA01$h1301
979   $aRSIAV4$b90$c20100113$lUSA01$h1254
996   $aRegole generali e regole speciali nella disciplina del contratto$91056489
997   $aUNISA