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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4393 0302-9743 ; . - Lecture Notes in Computer Science, 4393 .
9783540709183
10.1007/978-3-540-70918-3 doi
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-76.95
004.0151
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 Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4393 0302-9743 ; . - Lecture Notes in Computer Science, 4393 .
9783540709183
10.1007/978-3-540-70918-3 doi
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-76.95
004.0151