Title: Theory and Applications of Models of Computation
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