21- 40 of 1253 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Interior Point Techniques in Optimization: Complementarity, Sensitivity and Algorithms, Author: B. Jansen
QUICK ADD
Interior Point Techniques in…
by B. Jansen
#6 in Series
Paperback $169.99
Title: Multiobjective Evolutionary Algorithms and Applications, Author: Kay Chen Tan
QUICK ADD
Multiobjective Evolutionary…
by Kay Chen Tan, Eik Fun Khor, Tong Heng Lee
Explore Series
Paperback $169.99
Title: Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic, Author: Alan P. Parkes
QUICK ADD
Introduction to Languages,…
by Alan P. Parkes
Paperback $79.99
Title: State Space Consistency and Differentiability, Author: Demetrios Serakos
QUICK ADD
State Space Consistency and…
by Demetrios Serakos
Explore Series
Paperback $54.99
Title: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, Author: Franz Baader
QUICK ADD
Automated Deduction - CADE-19:…
by Franz Baader (Editor)
#2741 in Series
Paperback $54.99
Title: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings, Author: Jeffrey J. Joyce
QUICK ADD
Higher Order Logic Theorem…
by Jeffrey J. Joyce (Editor), Carl-Johan H. Seger (Editor)
#780 in Series
Paperback $54.99
Title: Turing Machines with Sublogarithmic Space, Author: Andrzej Szepietowski
QUICK ADD
Turing Machines with…
by Andrzej Szepietowski
#843 in Series
Paperback $54.99
Title: Geometric Modeling: Theory and Practice: The State of the Art, Author: Wolfgang Straßer
QUICK ADD
Geometric Modeling: Theory and…
by Wolfgang Straßer (Editor), Reinhard Klein (Editor), Rene Rau (Editor)
Explore Series
Paperback $54.99
Title: Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, Author: Jean-Marc Champarnaud
QUICK ADD
Automata Implementation: Third…
by Jean-Marc Champarnaud (Editor), Denis Maurel (Editor), Djelloul Ziadi (Editor)
#1660 in Series
Paperback $54.99
Title: Complexity Theory and Cryptology: An Introduction to Cryptocomplexity, Author: Jörg Rothe
QUICK ADD
Complexity Theory and…
by Jörg Rothe
Explore Series
Paperback $54.99
Title: Recent Developments in Well-Posed Variational Problems, Author: Roberto Lucchetti
QUICK ADD
Recent Developments in…
by Roberto Lucchetti (Editor), Julian Revalski (Editor)
#331 in Series
Paperback $109.99
Title: Calculus of Variations: An Introduction to the One-Dimensional Theory with Examples and Exercises, Author: Hansjörg Kielhöfer
QUICK ADD
Calculus of Variations: An…
by Hansjörg Kielhöfer
#67 in Series
Paperback $54.99
Title: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy, Author: Michael Kohlhase
QUICK ADD
OMDoc -- An Open Markup Format…
by Michael Kohlhase
#4180 in Series
Paperback $54.99
Title: Stochastic Processes and Orthogonal Polynomials, Author: Wim Schoutens
QUICK ADD
Stochastic Processes and…
by Wim Schoutens
#146 in Series
Paperback $109.99
Title: Pseudorandomness and Cryptographic Applications, Author: Michael Luby
QUICK ADD
Pseudorandomness and…
by Michael Luby
#1 in Series
Paperback $110.00
Title: Optimal Subset Selection: Multiple Regression, Interdependence and Optimal Network Algorithms, Author: David Boyce
QUICK ADD
Optimal Subset Selection:…
by David Boyce, A. Farhi, R. Weischedel
#103 in Series
Paperback $54.99
Title: Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, Author: Elsa L. Gunter
QUICK ADD
Theorem Proving in Higher…
by Elsa L. Gunter (Editor), Amy Felty (Editor)
#1275 in Series
Paperback $54.99
Title: Complexity and Postmodernism: Understanding Complex Systems, Author: Paul Cilliers
QUICK ADD
Complexity and Postmodernism:…
by Paul Cilliers
Explore Series
Paperback $54.99
Title: Convex and Set-Valued Analysis: Selected Topics, Author: Aram V. Arutyunov
QUICK ADD
Convex and Set-Valued Analysis…
by Aram V. Arutyunov, Valeri Obukhovskii
Explore Series
Paperback $90.99
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, Author: Yves Bertot
QUICK ADD
Interactive Theorem Proving…
by Yves Bertot, G. Huet (Foreword by), Pierre Castéran, C. Paulin-Mohring (Foreword by)
Explore Series
Paperback $89.99

Pagination Links