1- 20 of 127 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Advanced Mathematics for Economists: Static and Dynamic Optimization / Edition 1, Author: Peter J. Lambert
QUICK ADD
Advanced Mathematics for…
by Peter J. Lambert
Explore Series
Paperback $50.95
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov
#624 in Series
Paperback $54.99
Title: Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, Author: Matthew Hague
QUICK ADD
Reachability Problems: 11th…
by Matthew Hague, Igor Potapov
#10506 in Series
Paperback $54.99
Title: Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1, Author: Roland Backhouse
QUICK ADD
Mathematics of Program…
by Roland Backhouse, Jose Nuno Oliveira
#1837 in Series
Paperback $54.99
Title: Introduction à la résolution des systèmes polynomiaux / Edition 1, Author: Mohamed Elkadi
QUICK ADD
Introduction à la résolution…
by Mohamed Elkadi, Bernard Mourrain
#59 in Series
Paperback $54.99
Title: Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, 1991. Proceedings / Edition 1, Author: Hanspeter Bieri
QUICK ADD
Computational Geometry -…
by Hanspeter Bieri, Hartmut Noltemeier
#553 in Series
Paperback $54.99
Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
QUICK ADD
Design and Implementation of…
by Alfonso Miola
#429 in Series
Paperback $54.99
Title: An Introduction to Maple V / Edition 1, Author: Jack-Michel Cornil
QUICK ADD
An Introduction to Maple V /…
by Jack-Michel Cornil, T. Van Effelterre, Philippe Testud
Paperback $54.99
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
QUICK ADD
Automated Reasoning with…
by Didier Galmiche
#1227 in Series
Paperback $54.99
Title: Geometric Properties for Incomplete Data / Edition 1, Author: Reinhard Klette
QUICK ADD
Geometric Properties for…
by Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert
#31 in Series
Hardcover $54.99
Title: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / Edition 1, Author: Reinhard Kahle
QUICK ADD
Proof Theory in Computer…
by Reinhard Kahle, Peter Schroeder-Heister, Robert Stïrk
#2183 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / Edition 1, Author: Francesco Parisi-Presicce
QUICK ADD
Recent Trends in Algebraic…
by Francesco Parisi-Presicce
#1376 in Series
Paperback $54.99
Title: Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / Edition 1, Author: Klaus-Dieter Schewe
QUICK ADD
Semantics in Data and…
by Klaus-Dieter Schewe, Bernhard Thalheim
#4925 in Series
Paperback $54.99
Title: Stochastic Optimization in Insurance: A Dynamic Programming Approach, Author: Pablo Azcue
QUICK ADD
Stochastic Optimization in…
by Pablo Azcue, Nora Muler
Explore Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings / Edition 1, Author: Sungdeok Cha
QUICK ADD
Automated Technology for…
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
#5311 in Series
Paperback $54.99
Title: A New Kind of Computational Biology: Cellular Automata Based Models for Genomics and Proteomics, Author: Parimal Pal Chaudhuri
QUICK ADD
A New Kind of Computational…
by Parimal Pal Chaudhuri, Soumyabrata Ghosh, Adip Dutta, Somshubhro Pal Choudhury
Paperback $54.99
Title: Foundations of Generic Optimization: Volume 1: A Combinatorial Approach to Epistasis / Edition 1, Author: M. Iglesias
QUICK ADD
Foundations of Generic…
by M. Iglesias, R. Lowen, B. Naudts, A. Verschoren
#20 in Series
Hardcover $54.99
Title: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Edition 1, Author: Mark Aagaard
QUICK ADD
Theorem Proving in Higher…
by Mark Aagaard, John Harrison
#1869 in Series
Paperback $54.99
Title: Computational Partial Differential Equations: Numerical Methods and Diffpack Programming / Edition 2, Author: Hans P. Langtangen
QUICK ADD
Computational Partial…
by Hans P. Langtangen
#1 in Series
Hardcover $54.99
Title: Group Theory in Physics: An Introduction to Symmetry Principles, Group Representationsnd Special Functions in Classical and Quantum Physics, Author: Wu-ki Tung
QUICK ADD
Group Theory in Physics: An…
by Wu-ki Tung, W. K. Tung
Paperback $55.00

Pagination Links