Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Reading the Qur'an in Latin Christendom, 1140-1560
Thomas Burman
101 Jazz Guitar Licks
Alan deMause
Pattern-Oriented Software Architecture, a Pattern Language for ...
Frank Buschmann & Kevlin Henney & Douglas C. Schmidt
Natural Language Processing and Computational Linguistics: Speech, ...
Mohamed Zakaria Kurdi
The Pacific
Hugh Ambrose