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.
- v.: digital
- Lecture Notes in Computer Science, 4393 0302-9743 .
9783540709183
Computer science Data structures (Computer science) Computer software Logic design Computational complexity 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