Title: Theoretical Computer Science
Subjects: Machine theory, Robots, Formal languages, Computer science, Computer software, Logic design, Electronic data processing, Computational complexity, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Numeric Computing