STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / [electronic resource] :
edited by Wolfgang Thomas, Pascal Weil.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- xviii, 705 p. : ill., digital.
- Lecture Notes in Computer Science, 4393 0302-9743 ; .
9783540709183 (electronic bk.)
Computer science--Congresses.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Data Structures.
Discrete Mathematics in Computer Science.
004
9783540709183 (electronic bk.)
Computer science--Congresses.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Data Structures.
Discrete Mathematics in Computer Science.
004