Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings / [electronic resource] : edited by Ludek Kucera, Antonin Kucera. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - 764 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4708 0302-9743 ; .

9783540744566 (electronic bk.) 9783540744559 (paper)


Computer Science.
Algorithm Analysis and Problem Complexity.
Algorithms.
Computation by Abstract Devices.
Data Structures.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.