TY - DATA AU - Kučera,Luděk AU - Kučera,Antonín ED - SpringerLink (Online service) TI - Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540744566 AV - QA76.9.M35 K83 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Data structures (Computer science) KW - Computer software KW - Logic design KW - Computational complexity KW - Algorithms KW - Computer Science KW - Algorithm Analysis and Problem Complexity KW - Computation by Abstract Devices KW - Discrete Mathematics in Computer Science KW - Data Structures KW - Logics and Meanings of Programs UR - http://dx.doi.org/10.1007/978-3-540-74456-6 ER -