Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Marcus Aurelius: A Life From Beginning to End
Hourly History
LaTeX in 24 Hours: A Practical Guide for Scientific Writing
Dilip Datta
Cloud Computing: Concepts, Technology, Security, and Architecture
Thomas Erl & Eric Monroy
Hardcore Zen
Brad Warner
The God Delusion
Richard Dawkins