Mathematical Logic for Computer Science
Mordechai Ben-Ari
Pro Linux High Availability Clustering
Sander van Vugt
Test-Driven Infrastructure With Chef
Stephen Nelson-Smith
Practical Linux Infrastructure
Syed Ali
Computer Graphics, C Version
Donald Hearn & M. Pauline Baker