Title: Theory and Applications of Models of Computation
Subjects: Logic design, Computational complexity, Information theory, Computer science, Computer software, Algorithms, Computable functions, Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Mathematics of Computing, Theory of Computation