Agrawal, Manindra.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, S. Barry Cooper, Angsheng Li. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642299520


Computer science.; Data structures (Computer science).; Information theory.; Computer software.; Logic design.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Data Structures, Cryptology and Information Theory.; Mathematical Logic and Formal Languages.