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