TY - BOOK AU - Kucera,Ludek AU - Kucera,Antonin ED - Symposium on Mathematical Foundations of Computer Science (1972- ) ED - SpringerLink (Online service) TI - Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings SN - 9783540744566 (electronic bk.) PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer Science KW - Algorithm Analysis and Problem Complexity KW - Algorithms KW - Computation by Abstract Devices KW - Data Structures KW - Discrete Mathematics in Computer Science KW - Logics and Meanings of Programs UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-74456-6 ER -