Thomas, Wolfgang.

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

QA75.5 / T46 2007