1. Formal Methods for Software Engineering
2. Compiler Design
3. Distributed Databases
4. Computer Vision and Pattern Recognition
5. Principles of Program Analysis
6. Advanced Computer Architecture
7. Distributed Systems
8. Knowledge Discovery and Data Mining
9. Advanced Computer Networks
10. Computational Complexity
11. Systems Security
12. Formal Specification and Design Techniques
13. Simulation and Modelling Techniques
14. Combinatorial and Graph Algorithms
15. Theoretical Foundations in Multimedia
1. Cryptography Theory and Practice
2. Information Security Management
3. Topics in Information Security Management
4. Computer Security Practice
5. Software Security
6. Principles of Program Analysis
7. Automated Software Validation
8. Systems Security
9. Information Security Policies
10. Information Technology Outsourcing
11. Network Security and Management
12. Web Security
13. Topics in Information Security
14. Topics in System Security
1. Software Project Management
2. Integration of IS and Business
3. Telecoms and International Network
4. IT Entrepreneurship
5. Electronic Government
6. IT Policies
7. Hands-on with Business Analytics
8. Managing and Using New Media
9. Organizing for IT Innovation
10. Topics in Information Systems I