STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings / [electronic resource] :
edited by Bruno Durand, Wolfgang Thomas.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3884 0302-9743 .
9783540322887
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