Automated Deduction - a Basis for Applications Volume I Foundations ...
Wolfgang Bibel & P. H. Schmitt
How Bad Writing Destroyed the World: Ayn Rand and the Literary ...
Adam Weiner
Nonlinear System Identification
Oliver Nelles
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Integral Calculus and Differential Equations using Mathematica®
Cesar Perez Lopez
Machine Learning for Cloud Management
Jitendra Kumar & Ashutosh Kumar Singh & Anand Mohan & Rajkumar Buyya