面向对象的编程和软件设计
Object-Oriented Programming and Software Design
研究方法和专业议题
Research Methods and Professional Issues
论文项目
Dissertation project
自然系统建模和仿真
Modelling and Simulation of Natural Systems
分布式系统理论
Theory of Distributed Systems
D计算机图形学
D Computer Graphics
计算机安全和取证
Computer Security and Forensics
安全关键系统测试和验证
Testing and Verification in Safety-critical Systems
机器学习和自适应智能
Machine Learning and Adaptive Intelligence
软件和硬件验证
Software and Hardware Verification
移动设备软件开发
Software Development for Mobile Devices