STACS 96
Puech, Claude.
STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22-24, 1996 Proceedings / edited by Claude Puech, Rüdiger Reischuk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540497233
Computer science.; Operating systems (Computers).; 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.; Operating Systems.
STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22-24, 1996 Proceedings / edited by Claude Puech, Rüdiger Reischuk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540497233
Computer science.; Operating systems (Computers).; 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.; Operating Systems.