LEADER 01553nlm0 22004211i 450 
001 990009255530403321
010   $a9783540788003
035   $a000925553
035   $aFED01000925553
035   $a(Aleph)000925553FED01
035   $a000925553
100   $a20100926d2008----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$e14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v4963
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aRamakrishnan,$bC. R.
702  1$aRehof,$bJakob
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-78800-3
901   $aEB
912   $a990009255530403321
961   $aAlgorithm Analysis and Problem Complexity
961   $aComputer Communication Networks
961   $aComputer Communication Networks
961   $aComputer Science
961   $aComputer software
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aTools and Algorithms for the Construction and Analysis of Systems$9772021
997   $aUNINA

LEADER 01119nam0 22002891i 450 
001 SUN0014113
005 20100415120000.0
010   $a88-420-0525-8
100   $a20031202d1996       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aIntroduzione a Wittgenstein$fdi Aldo G. Gargani
210   $aBari$cLaterza$d1996
215   $a195 p.$d20 cm.
410  1$1001SUN0014092$12001 $aˆI ‰filosofi$v17$1210  $aBari$cLaterza.
606   $aWittgenstein, Ludwig$2FI$3SUNC009456
620   $dBari$3SUNL000009
700  1$aGargani$b, Aldo Giorgio$3SUNV015381$0164135
712   $aLaterza$3SUNV000002$4650
790  1$aGargani, Aldo G.$zGargani, Aldo Giorgio$3SUNV010252
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0014113
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS      XXI.Dd.4                (17)        $e00    11026                                 
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$h11026$kCONS XXI.Dd.4 (17)$op$qa
996   $aIntroduzione a Wittgenstein$9184072
997   $aUNICAMPANIA