|
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) (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) (Hardcover) By Mauri Kaipainen (Editor), Frank Zenker (Editor), Antti Hautamäki (Editor) $119.99 Usually Ships in 1-5 Days |
|
|
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 (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) (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) (Paperback) By Guerino Mazzola, Gérard Milmeister, Jody Weissmann $84.99 Usually Ships in 1-5 Days |
|
|
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) (Paperback) By Arnold Miller $99.99 Usually Ships in 1-5 Days |
|
|
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 (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 (Paperback) By Isabelle Bloch (Editor), Alfredo Petrosino (Editor), Andrea G. B. Tettamanzi (Editor) $129.00 Usually Ships in 1-5 Days |
|