TY - BOOK AU - Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukáa Sekanina, Tomáa Vojnar, David Antoa TI - Mathematical and Engineering Methods in Computer Science SN - 978-3-642-25929-6 PY - 2011/// CY - New York PB - Springer US KW - Computer Communication Networks; Algorithm Analysis and Problem Complexity; Software Engineering; Management of Computing and Information Systems; Logics and Meanings of Programs KW - Computer Science ER -