Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / [electronic resource] : edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - xv, 370 pages : illustration, digital ; 24 cm. - Lecture Notes in Computer Science, 4281 0302-9743 ; .

9783540488163 (electronic bk.)


Electronic data processing--Congresses.
Information theory--Congresses.
Computer Science.
Computation by Abstract Devices.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Software Engineering.

QA75.5 / .I135 2006

004