Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Simple geodesics and Weil-Petersson volumes of moduli spaces ...
Maryam Mirzakhani
Socrates Meets Kant: The Father of Philosophy Meets His Most ...
Peter J. Kreeft
Classified Woman: The Sibel Edmonds Story : A Memoir
Sibel Edmonds
Advanced Computing
Michael Bader & Hans-Joachim Bungartz & Tobias Weinzierl
The Secret of Black Ship Island
Larry Niven & Jerry Pournelle & Steven Barnes & Tom Weiner
Heorot (4)