LEADER 01621nlm0 22004691i 450 001 990009241260403321 010 $a9783540320241 035 $a000924126 035 $aFED01000924126 035 $a(Aleph)000924126FED01 035 $a000924126 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTheoretical Computer Science$bRisorsa elettronica$e9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings$fedited by Mario Coppo, Elena Lodi, G. Michele Pinna 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3701 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aCoppo,$bMario 702 1$aLodi,$bElena 702 1$aPinna,$bG. Michele 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11560586 901 $aEB 912 $a990009241260403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aComputation by Abstract Devices 961 $aComputational complexity 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aData Structures 961 $aData structures (Computer science) 961 $aDiscrete Mathematics in Computer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 996 $aTheoretical computer science$9104541 997 $aUNINA