LEADER 00970nam1-2200301---450- 001 990001173280203316 005 20040826093356.0 035 $a000117328 035 $aUSA01000117328 035 $a(ALEPH)000117328USA01 035 $a000117328 100 $a20030912-19------km-y0itab50------ba 200 1 $a<> new English grammar logical and historical$fHenry Sweet 210 $aOxford [etc.]$cClarendon$d[19-?] 215 $av.$d19 cm 463 \1$1001990001957360203316$12001 $a<<1.>> : Introduction, phonology and accidence 463 \1$1001990001957390203316$12001 $a<<2.>> : Syntax 676 $a410 700 1$aSWEET,$bHenry$0154127 912 $a990001173280203316 951 $aIL19$b2108 DSLL 959 $aBK 969 $aDSLL 979 $aPATRY$b90$c20030912$lUSA01$h1314 979 $aPATRY$b90$c20040406$lUSA01$h1724 979 $aSIAVER$b90$c20040826$lUSA01$h0933 996 $aNew English grammar logical and historical$9982063 997 $aUNISA LEADER 01570nlm0 22004331i 450 001 990009241140403321 010 $a9783540330578 035 $a000924114 035 $aFED01000924114 035 $a(Aleph)000924114FED01 035 $a000924114 100 $a20100926d2006----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$e12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria 210 $aBerlin ; Heidelberg$cSpringer$d2006 225 1 $aLecture Notes in Computer Science$x0302-9743$v3920 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHermanns,$bHolger 702 1$aPalsberg,$bJens 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11691372 901 $aEB 912 $a990009241140403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aComputer Communication Networks 961 $aComputer Communication Networks 961 $aComputer science 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