- Computer Science (14)
- Mathematical Logic and Formal Languages (14)
- Programming Languages, Compilers, Interpreters (14)
- Logics and Meanings of Programs (12)
- Programming Techniques (8)
- Software Engineering (8)
- Artificial Intelligence (incl. Robotics) (5)
- Models and Principles (3)
- Symbolic and Algebraic Manipulation (3)
- Computation by Abstract Devices (2)
- Theory of Computation (2)
- Algorithm Analysis and Problem Complexity (1)
- Computer Appl. in Administrative Data Processing (1)
- Computer Communication Networks (1)
- Database Management (1)
- Discrete Mathematics in Computer Science (1)
- Mathematical Logic and Foundations (1)
- Operating Systems (1)