Title: Computer Science – Theory and Applications
Subjects: Logic design, Computational complexity, Computer science, Computer software, Mathematics of Computing, Computation by Abstract Devices, Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity