知识表示与推理逻辑
Logics for Knowledge Representation and Reasoning
知识表示与推理高级主题
Advanced Topics in Knowledge Representation and Reasoning
认知机器人与计算机视觉
Cognitive Robotics and Computer Vision
将文本转化为意义
Transforming Text into Meaning
机器学习主题
Topics in Machine Learning
机器学习高级主题
Advanced Topics in Machine Learning
不确定推理与学习
Uncertain Reasoning and Learning
强化学习
Reinforcement Learning
密码学概论
Introduction to Cryptography
软件验证、安全与计算机科学的形式化方法
Formal Methods for Software Verification, Security and Computer Science
安全计算机体系结构与系统
Secure Computer Architecture and Systems
人工智能中的安全与隐私
Security and Privacy in Artificial Intelligence
实践中的软件工程概念
Software Engineering Concepts in Practice
软件发现与交付
Software Discovery and Delivery
工程交互系统
Engineering Interactive Systems
移动和无处不在的互动
Mobile and Ubiquitous Interactions
数据工程概念
Data Engineering Concepts
数据工程技术
Data Engineering Technologies