Foundations of Computer Science：计算机科学基础 Principles of Programming：编程原则 Data Structures and Algorithms：数据结构和算法 Database Systems：数据库系统 Computer Networks and Applications：计算机网络与应用 Engineering Project Management：工程项目管理 Advanced Algorithms：高级算法 Advanced Topics in Software Verification：软件验证高级主题 Knowledge Representation and Reasoning：知识表示与推理 Web Front-End Programming：Web前端编程 Security Engineering and Cyber Security：安全工程和网络安全 Web Application Security and Testing：Web应用安全与测试 Digital Forensics：数字取证 System and Software Security Assessment：系统和软件安全评估 Security Engineering Masterclass：安全工程大师班 Cryptocurrency and Distributed Ledger Technologies：加密货币和分布式账本技术 Software Architecture for Blockchain Applications：区块链应用的软件架构 Information Retrieval and Web Search：信息检索和Web搜索 (In-)Formal Methods: The Lost Art：(In-) 形式方法: 失落的艺术 Internet of Things Experimental Design Studio：物联网实验设计工作室: Algorithms for Intractable Problems：棘手问题的算法 Modelling Concurrent Systems：并行系统建模 Advanced C++ Programming：高级C编程 Extended Security Engineering and Cyber Security：扩展安全工程和网络安全 Extended Web Application Security and Testing：扩展的Web应用程序安全性和测试 Extended Digital Forensics and Incident Response：扩展的数字取证和事件响应 Solving Modern Programming Problems with Rust：用Rust解决现代编程问题 Algorithmic Verification：算法验证 Computer Architecture：计算机体系结构 Digital Circuits and Systems：数字电路与系统 Advanced Operating Systems：先进的操作系统 Distributed Systems：分布式系统 Data Analytics for Graphs：图表的数据分析 Big Data Management：大数据管理 Database Systems Implementation：数据库系统实现 Web Data Compression and Search：Web数据压缩和搜索 Data Services Engineering：数据服务工程 Network Routing and Switching：网络路由和交换 Advanced Computer Networks：先进的计算机网络 Capacity Planning of Computer Systems and Networks：计算机系统和网络的容量规划 Mobile Data Networking：移动数据网络 Securing Fixed and Wireless Networks：保护固定和无线网络 Artificial Intelligence：人工智能 Machine Learning and Data Mining：机器学习和数据挖掘 Advanced Topics in Statistical Machine Learning：统计机器学习高级专题 Robotic Software Architecture：机器人软件架构 Neural Networks and Deep Learning：神经网络与深度学习 Applied Artificial Intelligence：应用人工智能 Computer Vision：计算机视觉 Recommender Systems：推荐系统 Extended Artificial Intelligence：扩展人工智能 Engineering Decision Structures：工程决策结构 Launching a Startup：启动启动 Data and Machine Learning：数据和机器学习 Time Series：时间序列 Multivariate Analysis：多变量分析 Statistical Inference：统计推断 Bayesian Inference and Computation：贝叶斯推理和计算 Math：数学