Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Save for later
Advances in Automatic Differentiation: 64 (Lecture Notes in Computational Science and Engineering)
by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke
ISBN 13: 9783540689355
Format: Paperback (370 pages) Publisher: Springer Published: 21 Jul 2008
Islamic Design: A Genius for Geometry
by Daud Sutton
ISBN 13: 9781904263593
Format: Paperback (64 pages) Publisher: Wooden Books Published: 16 Oct 2007
Undergraduate Commutative Algebra: 29 (London Mathematical Society Student Texts, Series Number 29)
by Miles Reid
ISBN 13: 9780521458894
Format: Illustrated (168 pages) Publisher: Cambridge University Press Published: 12 Oct 2010
Quick Algebra Review: A Self-Teaching Guide, 2nd Edition: Second Edition: 165 (Wiley Self-Teaching Guides)
by Peter H. Selby
ISBN 13: 9780471578437
Format: Illustrated (242 pages) Publisher: Wiley Published: 15 Mar 1993
Operator-Valued Measures and Integrals for Cone-Valued Functions: 1964 (Lecture Notes in Mathematics)
by Walter Roth
ISBN 13: 9783540875642
Format: Paperback (356 pages) Publisher: Springer Published: 05 Feb 2009
Statistics for Innovation: Statistical Design of "Continuous" Product Innovation
by Pasquale Erto
ISBN 13: 9788847008144
Format: Paperback (264 pages) Publisher: Springer Published: 26 Nov 2008
Self-dual Gauge Field Vortices: An Analytical Approach (Progress in Nonlinear Differential Equations and Their Applications): 72
by Gabriella Tarantello
ISBN 13: 9780817643102
Format: Hardcover (340 pages) Publisher: Birkhäuser Published: 02 Jun 2008
The Theory of the Moire Phenomenon: 1 (Computational Imaging and Vision): Volume I: Periodic Layers: 38
by Isaac Amidror
ISBN 13: 9781848821804
Format: Illustrated (552 pages) Publisher: Springer Published: 23 Jul 2009
A First Course in Optimization Theory
by Rangarajan K. Sundaram
ISBN 13: 9780521497701
Format: Paperback (376 pages) Publisher: Cambridge University Press Published: 13 Jun 1996
Schwarz-Pick Type Inequalities (Frontiers in Mathematics)
by Farit G. Avkhadiev,Karl-Joachim Wirths
ISBN 13: 9783764399993
Format: Illustrated (168 pages) Publisher: Birkhäuser Published: 20 Feb 2009
Modeling and Simulation for Analyzing Global Events
by John A. Sokolowski,Catherine M. Banks
ISBN 13: 9780470478417
Format: Hardcover (205 pages) Publisher: Wiley Published: 30 Jul 2009