Genomics and Bioinformatics
Handbook of Practical Logic and Automated Reasoning
Introduction to Clustering Large and High Dimensional Data
