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 |
16 | 密码学理论与实践Cryptography Theory and Practice |
17 | 信息安全管理Information Security Management |
18 | 信息安全管理专题研究Topics in Information Security Management |
19 | 计算机安全实践Computer Security Practice |
20 | 软件安全Software Security |
22 | 自动化软件验证Automated Software Validation |
24 | 信息安全策略Information Security Policies |
25 | 信息技术外包Information Technology Outsourcing |
26 | 网络安全与管理Network Security and Management |
27 | 网络安全Web Security |
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 |
35 | 信息技术政策IT Policies |
36 | 商业分析实践操作Hands-on with Business Analytics |
37 | 新媒体使用与管理Managing and Using New Media |
38 | 信息技术创新组织Organizing for IT Innovation |
39 | 信息系统专题研究ITopics in Information Systems I |
微信扫码咨询