- Computer Science (50)
- Logics and Meanings of Programs (50)
- Programming Languages, Compilers, Interpreters (50)
- Software Engineering (50)
- Mathematical Logic and Formal Languages (25)
- Programming Techniques (25)
- Computation by Abstract Devices (9)
- Algorithm Analysis and Problem Complexity (6)
- Artificial Intelligence (incl. Robotics) (6)
- Business Information Systems (3)
- Computer Communication Networks (3)
- Mathematical Logic and Foundations (3)
- K-Theory (2)
- Symbolic and Algebraic Manipulation (2)
- Arithmetic and Logic Structures (1)
- Data Structures (1)
- Database Management (1)
- Probability Theory and Stochastic Processes (1)
- Statistics, general (1)
- Systems and Information Theory in Engineering (1)