Hliněný, Petr.

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642151552


Computer science.; Data structures (Computer science).; Computer software.; Logic design.; Computational complexity.; Computer Science.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.; Computation by Abstract Devices.; Data Structures.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.