Murlak, Filip.

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642229930


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