自动推理和验证
Automated Reasoning and Verification
在Web上建模数据
Modelling Data on the Web
语义网的本体工程
Ontology Engineering for the Semantic Web
在网上查询数据
Querying Data on the Web
数字生物学原理
Principles of Digital Biology
健康信息学导论
Introduction to Health Informatics
机器学习的基础
Foundations of Machine Learning
高维数据的建模和可视化
Modelling and Visualisation of High-Dimensional Data