- Computer Communication Networks (2)
- Operating Systems (2)
- Special Purpose and Application-Based Systems (2)
- Computation by Abstract Devices (1)
- Computer Science (1)
- Computer Science Logic and Foundations of Programming (1)
- Logics and Meanings of Programs (1)
- Mathematical Logic and Formal Languages (1)
- Theory of Computation (1)