1
軟件工程形式方法
Formal Methods for Software Engineering
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
12
形式規范和設計技術
Formal Specification and Design Techniques
13
仿真和建模技術
Simulation and Modelling Techniques
14
組合算法和圖算法
Combinatorial and Graph Algorithms
15
多媒體理論基礎
Theoretical Foundations in Multimedia
16
密碼學理論與實踐
Cryptography Theory and Practice
17
信息安全管理
Information Security Management
18
信息安全管理專題研究
Topics in Information Security Management
19
計算機安全實踐
Computer Security Practice
20
軟件安全
Software Security
21
程序分析原理
Principles of Program Analysis
22
自動化軟件驗證
Automated Software Validation
24
信息安全策略
Information Security Policies
25
信息技術外包
Information Technology Outsourcing
26
網絡安全與管理
Network Security and Management
28
信息安全專題研究
Topics in Information Security
29
系統安全專題研究
Topics in System Security
30
軟件項目管理
Software Project Management
31
信息系統集成與商業
Integration of IS and Business
32
電信與國際網絡
Telecoms and International Network
33
IT行業企業家精神
IT Entrepreneurship
34
電子政務
Electronic Government
36
商業分析實踐操作
Hands-on with Business Analytics
37
新媒體使用與管理
Managing and Using New Media
38
信息技術創新組織
Organizing for IT Innovation
39
信息系統專題研究I
Topics in Information Systems I