Královič, Rastislav.

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540377931


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