算法分析
Analysis of Algorithms
密码学导论
Introduction to Cryptography
量子信息处理导论
Introduction to Quantum Information Processing
机器学习算法:保证与分析
Algorithms in Machine Learning: Guarantees and Analyses
拉姆齐理论及其应用
Ramsey Theory and its Applications
计算几何
Computational Geometry
深度学习基础
Foundations of Deep Learning
非单调推理
Non-Monotonic Reasoning
人工智能规划
Artificial Intelligence Planning
自然语言处理
Natural Language Processing
机器学习顶点课程
Capstone in Machine Learning
计算语言学II
Computational Linguistics II
跨尺度生物网络的计算与数学分析
Computational and Mathematical Analysis of Biological Networks across Scales
计算基因组学
Computational Genomics
算法进化生物学
Algorithmic Evolutionary Biology
生物系统的网络分析与建模
Network Analysis and Modeling of Biological Systems
计算机与网络安全
Computer and Network Security
并行计算基础
Foundations of Parallel Computing
分布式算法与验证
Distributed Algorithms and Verification
高性能计算系统
High Performance Computing Systems
物联网无线与移动系统
Wireless and Mobile Systems for the IoT
人机交互中的交互技术
Interactive Technologies in Human-Computer Interaction
数据库系统实现
Database Systems Implementation
数据库管理系统
Database Management Systems
地理信息系统与空间数据库
Geographical Information Systems and Spatial Databases
科学计算 I
Scientific Computing I
地理信息系统与空间数据库
Numerical Analysis I
数值分析II
Numerical Analysis II
非线性方程的数值解法
Numerical Solution of Nonlinear Equations
高级线性数值分析
Advanced Linear Numerical Analysis
高级数值优化
Advanced Numerical Optimization
软件验证基础
Foundations of Software Verification
程序分析与理解
Program Analysis and Understanding
软件产品保障
Software Product Assurance
计算机科学实证研究方法
Empirical Research Methods for Computer Science
安全与隐私中的人为因素
Human Factors in Security and Privacy
信息可视化
Information Visualization
软件管理与工程的定量方法
Quantitative Approach to Software Management and Engineering
软件工程环境
Software Engineering Environments
软件测试基础
Fundamentals of Software Testing
图像信息的计算机处理
Computer Processing of Pictorial Information
高级计算机图形学
Advanced Computer Graphics
几何与实体建模
Geometric and Solid Modeling
硕士论文研究
Master's Thesis Research
硕士非论文研究
Master's Non-Thesis Research
科学计算 II
Scientific Computing II