Title: Statistical Methods In Experimental Physics (2nd Edition) / Edition 2, Author: Frederick James
Title: Learning Search Control Knowledge for Equational Deduction, Author: S. A. Schulz
Title: A New Kind of Science, Author: Stephen Wolfram
Title: Principles And Techniques In Combinatorics - Solutions Manual, Author: Kean Pew Foo
Title: The Influence of Computers and Informatics on Mathematics and its Teaching: Proceedings From a Symposium Held in Strasbourg, France in March 1985 and Sponsored by the International Commission on Mathematical Instruction, Author: R. F. Churchhouse
Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
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
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
Title: Computational Partial Differential Equations: Numerical Methods and Diffpack Programming / Edition 2, Author: Hans P. Langtangen
Title: Geometric Properties for Incomplete Data / Edition 1, Author: Reinhard Klette
Title: Introduction à la résolution des systèmes polynomiaux / Edition 1, Author: Mohamed Elkadi
Title: Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, Author: Matthew Hague
Title: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / Edition 1, Author: Reinhard Kahle
Title: Stochastic Optimization in Insurance: A Dynamic Programming Approach, Author: Pablo Azcue
Title: An Introduction to Maple V / Edition 1, Author: Jack-Michel Cornil
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
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
Title: Foundations of Generic Optimization: Volume 1: A Combinatorial Approach to Epistasis / Edition 1, Author: M. Iglesias
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
Title: Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1, Author: Roland Backhouse

Pagination Links