- Distributed Operating Systems
- Digital Image Processing
- Belief Logics for Information Security
- Artifical Neural Networks
- Advanced Databases
- Workflow. Modelling, Verification, Security
- Web Applications Development
- Statistical Analysis of Experimental Algorithms
- Speech Technology and Elements of Fuzy Logic
- Special Chapters in Artificial Intelligence
- Software Security
- Security Protocols Modelling and Verification
- Security of Wireless Networks and Mobile Devices
- Security of Operating Systems
- Security of Electronic Commerce
- Quality Systems Software
- Project Management
- Human Computer Interaction