Mayr, Ernst W.

STACS 95 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2-4, 1995 Proceedings / edited by Ernst W. Mayr, Claude Puech. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540491750


Computer science.; Computer software.; Logic design.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Techniques.; Programming Languages, Compilers, Interpreters.