在Web上建模数据
Modelling Data on the Web
在网上查询数据
Querying Data on the Web
自动推理和验证
Automated Reasoning and Verification
数字生物学原理
Principles of Digital Biology
健康信息学导论
Introduction to Health Informatics
机器学习的基础
Foundations of Machine Learning
高维数据的建模和可视化
Modelling and Visualisation of High-Dimensional Data
实践中的软件工程概念
Software Engineering Concepts in Practice