Graph Theory
Ronald Gould
Effective C++: 55 Specific Ways to Improve Your Programs and ...
Scott Meyers
Astronomical
Tim James
Seven Databases in Seven Weeks: A Guide to Modern Databases ...
Luc Perkins & Eric Redmond & Jim Wilson
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers