1- 20 of 61 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Quantifier Elimination and Cylindrical Algebraic Decomposition, Author: Bob F. Caviness
QUICK ADD
Quantifier Elimination and…
by Bob F. Caviness (Editor), Jeremy R. Johnson (Editor)
Explore Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / Edition 1, Author: Tobias Nipkow
QUICK ADD
Rewriting Techniques and…
by Tobias Nipkow
#1379 in Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, Author: Aart Middeldorp
QUICK ADD
Rewriting Techniques and…
by Aart Middeldorp (Editor)
#2051 in Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / Edition 1, Author: Vincent van Oostrom
QUICK ADD
Rewriting Techniques and…
by Vincent van Oostrom
#3091 in Series
Paperback $54.99
Title: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings / Edition 1, Author: Gerard Cohen
QUICK ADD
Applied Algebra, Algebraic…
by Gerard Cohen, Teo Mora, Oscar Moreno
#673 in Series
Paperback $54.99
Title: Algorithms: International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990. Proceedings / Edition 1, Author: Tetsuo Asano
QUICK ADD
Algorithms: International…
by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki
#450 in Series
Paperback $54.99
Title: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings / Edition 1, Author: Marc Fossorier
QUICK ADD
Applied Algebra, Algebraic…
by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli
#1719 in Series
Paperback $54.99
Title: Machines, Computations, and Universality: Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings, Author: Maurice Margenstern
QUICK ADD
Machines, Computations, and…
by Maurice Margenstern (Editor), Yurii Rogozhin (Editor)
#2055 in Series
Paperback $54.99
Title: Algorithms, Fractals, and Dynamics, Author: Y. Takahashi
QUICK ADD
Algorithms, Fractals, and…
by Y. Takahashi (Editor)
Paperback $54.99
Title: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings / Edition 1, Author: Marc Fossorier
QUICK ADD
Applied Algebra, Algebraic…
by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli
#3857 in Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings / Edition 1, Author: Jieh Hsiang
QUICK ADD
Rewriting Techniques and…
by Jieh Hsiang
#914 in Series
Paperback $54.99
Title: Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. / Edition 1, Author: Jan van Leeuwen
QUICK ADD
Distributed Algorithms: 4th…
by Jan van Leeuwen, Nicola Santoro
#486 in Series
Paperback $54.99
Title: Algorithmic Foundation of Robotics VII: Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics / Edition 1, Author: Srinivas Akella
QUICK ADD
Algorithmic Foundation of…
by Srinivas Akella, Nancy M. Amato, Wesley Huang, Bud Mishra
#47 in Series
Paperback $219.99
Title: Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / Edition 1, Author: Leo Bachmair
QUICK ADD
Rewriting Techniques and…
by Leo Bachmair
#1833 in Series
Paperback $54.99
Title: Stochastic Models, Statistical Methods, and Algorithms in Image Analysis: Proceedings of the Special Year on Image Analysis, held in Rome, Italy, 1990 / Edition 1, Author: Piero Barone
QUICK ADD
Stochastic Models, Statistical…
by Piero Barone, Arnoldo Frigessi, Mauro Piccioni
#74 in Series
Paperback $109.99
Title: Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings / Edition 1, Author: Gary Benson
QUICK ADD
Algorithms in Bioinformatics:…
by Gary Benson, Roderic Page
#2812 in Series
Paperback $109.99
Title: Algorithms and Complexity: 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings / Edition 1, Author: Giancarlo Bongiovanni
QUICK ADD
Algorithms and Complexity: 4th…
by Giancarlo Bongiovanni, Giorgio Gambosi, Rosella Petreschi
#1767 in Series
Paperback $54.99
Title: Combinatorial and Algorithmic Aspects of Networking: First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers / Edition 1, Author: Alejandro López-Ortiz
QUICK ADD
Combinatorial and Algorithmic…
by Alejandro López-Ortiz, Angèle Hamel
#3405 in Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings / Edition 1, Author: Harald Ganzinger
QUICK ADD
Rewriting Techniques and…
by Harald Ganzinger
#1103 in Series
Paperback $54.99
Title: Algorithms in Bioinformatics: 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings, Author: Ben Raphael
QUICK ADD
Algorithms in Bioinformatics:…
by Ben Raphael (Editor), Jijun Tang (Editor)
#7534 in Series
Paperback $54.99

Pagination Links