LEADER 01354nam--2200385---450- 001 990003075100203316 005 20080418155518.0 010 $a978-3-540-70917-6 035 $a000307510 035 $aUSA01000307510 035 $a(ALEPH)000307510USA01 035 $a000307510 100 $a20080305d2007----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aStacs 2007$e24th annual symposium on Theoretical aspects of computer science$eAachen, Germany, February 22-24, 2007$eproceedings$fWolfgang Thomas, Pascal Weil (eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2007 215 $aXVIII, 705 p.$cill.$d24 cm 225 2 $aLecture Notes in Computer Science$v4393 410 0$12001$aLecture Notes in Computer Science$v4393 606 0 $aElaboratori elettronici$xArchitettura$xCongressi$yAachen$z2007 676 $a004.22 702 1$aTHOMAS,$bWolfgang 702 1$aWEIL,$bPascal 710 12$aAnnual Symposium on Theoretical Aspects of Computer Science$d<24. ;$f2007 ;$eAachen>$0600522 801 0$aIT$bsalbc$gISBD 912 $a990003075100203316 951 $a001 LNCS 4393$b34555/cbs$c001$d00217183 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20080305$lUSA01$h1344 979 $aANGELA$b90$c20080418$lUSA01$h1555 996 $aStacs 2007$91023353 997 $aUNISA