Královič, Rastislav.

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642038167


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