01354nam--2200385---450-99000307510020331620080418155518.0978-3-540-70917-6000307510USA01000307510(ALEPH)000307510USA0100030751020080305d2007----km-y0itay0103----baengDEa|||||||001yyStacs 200724th annual symposium on Theoretical aspects of computer scienceAachen, Germany, February 22-24, 2007proceedingsWolfgang Thomas, Pascal Weil (eds.)Berlin [etc.]Springercopyr. 2007XVIII, 705 p.ill.24 cmLecture Notes in Computer Science43932001Lecture Notes in Computer Science4393Elaboratori elettroniciArchitetturaCongressiAachen2007004.22THOMAS,WolfgangWEIL,PascalAnnual Symposium on Theoretical Aspects of Computer Science<24. ;2007 ;Aachen>600522ITsalbcISBD990003075100203316001 LNCS 439334555/cbs00100217183BKSCIANGELA9020080305USA011344ANGELA9020080418USA011555Stacs 20071023353UNISA