*帝国理工学院计算机计算(软件工程)硕士专业的相关信息由 Mastermate 手工收集并整理,如发现错误欢迎指出,所有信息均给出了官网地址,如出现不同请以学校官网为准
| 序号 |
课程中文名称 |
课程英文名称 |
| 1 |
计算机科学理学硕士(专家)个人项目 |
MSc Computing Science (Specialist) Individual Project |
| 2 |
硕士软件工程小组项目 |
MSc Software Engineering Group Project |
| 3 |
工业软件工程 |
Software Engineering for Industry |
| 4 |
高级数据库 |
Advanced Databases |
| 5 |
面向对象编程中的高级问题 |
Advanced Issues in Object Oriented Programming |
| 6 |
进阶安全性 |
Advanced Security |
| 7 |
并发过程 |
Concurrent Processes |
| 8 |
密码学工程 |
Cryptography Engineering |
| 9 |
分布式算法 |
Distributed Algorithms |
| 10 |
信息与编码理论 |
Information and Coding Theory |
| 11 |
大规模数据管理 |
Large Scale Data Management |
| 12 |
模态逻辑 |
Modal Logic |
| 13 |
网络和网络安全 |
Network and Web Security |
| 14 |
绩效工程 |
Performance Engineering |
| 15 |
普适计算 |
Pervasive Computing |
| 16 |
分权账本原则 |
Principles of Decentralized Ledgers |
| 17 |
隐私增强技术 |
Privacy Enhancing Techniques |
| 18 |
概率模型检查与分析 |
Probabilistic Model Checking and Analysis |
| 19 |
可扩展的分布式系统设计 |
Scalable Distributed Systems Design |
| 20 |
分离逻辑:程序的局部推理 |
Separation Logic: Local Reasoning about Programs |
| 21 |
软件可靠性 |
Software Reliability |
| 22 |
系统验证 |
Systems Verification |
| 23 |
编程语言的类型系统 |
Type Systems for Programming Languages |