Browse Books: Mathematics / Logic

Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Proceedings (Lecture Notes in Computer Science #6807) Cover Image
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Proceedings (Lecture Notes in Computer Science #6807) (Paperback)
By Béatrice Bouchou-Markhoff (Editor), Pascal Caron (Editor), Jean-Marc Champarnaud (Editor)
$89.99
Usually Ships in 1-5 Days
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science #6959) Cover Image
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science #6959) (Paperback)
By Gwen Salaün (Editor), Bernhard Schätz (Editor)
$59.99
Usually Ships in 1-5 Days
Conceptual Spaces: Elaborations and Applications (Synthese Library #405) Cover Image
Conceptual Spaces: Elaborations and Applications (Synthese Library #405) (Hardcover)
By Mauri Kaipainen (Editor), Frank Zenker (Editor), Antti Hautamäki (Editor)
$119.99
Usually Ships in 1-5 Days
Matrizen, Geometrie, Lineare Algebra Cover Image
Matrizen, Geometrie, Lineare Algebra (Paperback)
By Peter Gabriel
$64.99
Usually Ships in 1-5 Days
Eine Elementare Einführung in Die Theorie Der Turing-Maschinen Cover Image
Eine Elementare Einführung in Die Theorie Der Turing-Maschinen (Hardcover)
By Oswald Wiener, Manuel Bonik, Robert Hödicke
$69.99
Usually Ships in 1-5 Days
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation) Cover Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation) (Paperback)
By Bob F. Caviness (Editor), Jeremy R. Johnson (Editor)
$99.00
Usually Ships in 1-5 Days
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext) Cover Image
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext) (Paperback)
By Guerino Mazzola, Gérard Milmeister, Jody Weissmann
$84.99
Usually Ships in 1-5 Days
The Classical Decision Problem (Universitext) Cover Image
The Classical Decision Problem (Universitext) (Paperback)
By Egon Börger, Erich Grädel, Yuri Gurevich
$169.99
Usually Ships in 1-5 Days
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Lecture Notes in Logic #4) Cover Image
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Lecture Notes in Logic #4) (Paperback)
By Arnold Miller
$99.99
Usually Ships in 1-5 Days
Automated Theorem Proving: Theory and Practice Cover Image
Automated Theorem Proving: Theory and Practice (Paperback)
By Monty Newborn
$149.99
Usually Ships in 1-5 Days
Geometric Calculus: According to the Ausdehnungslehre of H. Grassmann Cover Image
Geometric Calculus: According to the Ausdehnungslehre of H. Grassmann (Paperback)
By L. C. Kannenberg (Translator), Giuseppe Peano
$89.99
Usually Ships in 1-5 Days
Fuzzy Logic and Applications: 6th International Workshop, Wilf 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers Cover Image
Fuzzy Logic and Applications: 6th International Workshop, Wilf 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers (Paperback)
By Isabelle Bloch (Editor), Alfredo Petrosino (Editor), Andrea G. B. Tettamanzi (Editor)
$129.00
Usually Ships in 1-5 Days

Pages