STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings /
Durand, Bruno.
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
QA75.5 / D87 2006
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
QA75.5 / D87 2006