Theory and Applications of Models of Computation
Subtitle: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
By: edited by Manindra Agrawal, S. Barry Cooper, Angsheng Li
Contributors: Cooper, S. Barry; Li, Angsheng; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7287
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642299520
Subjects: Mathematical Logic and Formal Languages; Cryptology and Information Theory Data Structures; Information theory; Computer software; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Data structures (Computer science); Theory of Computation; Mathematics of Computing; Computer science