Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Establishing Boundaries
Boddens Hosang
100 Mistakes in Software Engineering
Luis Cordero
Numerical C: Applied Computational Programming With Case Studies
Philip Joyce
French Philosophy of Technology: Classical Readings and Contemporary ...
Sacha Loeve & Xavier Guchet & Bernadette Bensaude Vincent
The Thiselton Companion to Christian Theology
Anthony C. Thiselton
Eerdmans Dictionary of the Bible
David Noel Freedman
Stand-Alone (1)