Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
The Book of SAX: The Simple API for XML
W. Scott Means & Michael A. Bodie
Frank Sinatra: A Life from Beginning to End (Biographies of ...
Hourly History
Finite Order Automorphisms and Real Forms of Affine Kac-Moody ...
Ernst Heintze & Christian Gross
Modern Mandarin Chinese Grammar: A Practical Guide
Claudia Ross & Jing-Heng Sheng Ma
The Bible: Authorized King James Version
Robert Carroll & Stephen Prickett