- Computer Science (63)
- Discrete Mathematics in Computer Science (63)
- Logics and Meanings of Programs (63)
- Mathematical Logic and Formal Languages (49)
- Algorithm Analysis and Problem Complexity (40)
- Computation by Abstract Devices (36)
- Data Structures (17)
- Mathematics of Computing (17)
- Symbolic and Algebraic Manipulation (15)
- Software Engineering (13)
- Artificial Intelligence (incl. Robotics) (12)
- Theory of Computation (10)
- Algorithms (7)
- Numeric Computing (4)
- Mathematical Logic and Foundations (3)
- Models and Principles (3)
- Programming Languages, Compilers, Interpreters (3)
- Database Management (2)
- Programming Languages Compilers Interpreters (2)
- Programming Techniques (2)
- User Interfaces and Human Computer Interaction (2)
- Algebra (1)
- Computer Graphics (1)
- Convex and Discrete Geometry (1)
- Data Mining and Knowledge Discovery (1)
- Data Structures, Cryptology and Information Theory (1)
- Information Storage and Retrieval (1)
- Logic Design (1)
- Math Applications in Computer Science (1)
- Order, Lattices, Ordered Algebraic Structures (1)
- Performance and Reliability (1)
- Simulation and Modeling (1)