- Computer Science (12)
- Logics and Meanings of Programs (12)
- Programming Techniques (12)
- Programming Languages, Compilers, Interpreters (9)
- Mathematical Logic and Formal Languages (7)
- Software Engineering (6)
- Artificial Intelligence (incl. Robotics) (5)
- Computer Communication Networks (3)
- Computation by Abstract Devices (1)
- Computer Appl. in Administrative Data Processing (1)
- Data Mining and Knowledge Discovery (1)
- Management of Computing and Information Systems (1)
- Models and Principles (1)
- Operating Systems (1)
- Software Engineering/Programming and Operating Systems (1)
- Symbolic and Algebraic Manipulation (1)
- System Performance and Evaluation (1)
- Theory of Computation (1)