Dolev, D.

Theory of Computing and Systems ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540472148


Computer science.; Memory management (Computer science).; Computer Communication Networks.; 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.; Memory Structures.; Computer Communication Networks.