Mathematical theory of computation books

11103 books were found.

LATIN 2002: Theoretical Informatics: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

LATIN 2002: Theoretical Informatics: 5th Latin American...

Author: Sergio Rajsbaum
ISBN: 9783540434009
Format: Paperback
$269.28

 Read More >>

Rekursive Funktionen

Rekursive Funktionen

Author: Heinz Lüneburg ,  Heinz L Neburg
ISBN: 9783540430940
Format: Paperback
$92.27

 Read More >>

Einführung in partielle Differentialgleichungen: Ein numerischer Zugang

Einführung in partielle Differentialgleichungen: Ein...

Author: Aslak Tveito ,  H.P. Kiani
ISBN: 9783540424048
Format: Paperback
$131.87

 Read More >>

STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings

STACS 2002: 19th Annual Symposium on Theoretical Aspects...

Author: Helmut Alt ,  Afonso Ferreira
ISBN: 9783540432838
Format: Paperback
$287.76

 Read More >>

Finite Elements Using Maple: A Symbolic Programming Approach

Finite Elements Using Maple: A Symbolic Programming...

Author: Artur Portela ,  A. Charafi
ISBN: 9783540429869
Format: Hardback
$237.47

This technique has the advantage of enhancing the essential unity of all processes of approxi- tion used in the...  Read More >>

Invitation to Cryptology

Invitation to Cryptology

Author: Thomas Barr ,  Thomas Barr
ISBN: 9780130889768
Format: Paperback
$328.59

 Read More >>

Mathematics of Quantum Computation

Mathematics of Quantum Computation

Author: Ranee K. Brylinski ,  Goong Chen
ISBN: 9781584882824
Format: Hardback
$378.00

 Read More >>

Foundations of Genetic Programming

Foundations of Genetic Programming

Author: William B. Langdon ,  Riccardo Poli
ISBN: 9783540424512
Format: Hardback
$184.67

Genetic programming has been successful as a technique for getting computers to automatically solve problems without...  Read More >>

Topics in Cryptology - CT-RSA 2002: The Cryptographer's Track at the RSA Conference 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings

Topics in Cryptology - CT-RSA 2002: The Cryptographer's...

Author: Bart Preneel
ISBN: 9783540432241
Format: Paperback
$197.87

This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers’...  Read More >>

Computer Control of Processes

Computer Control of Processes

Author: M. Chidambaram
ISBN: 9781842650639
Format: Hardback
$168.96

Offering extensive treatment of computers and principles in designing digital controllers, Computer Control of Processes...  Read More >>

Computer-supported Calculus

Computer-supported Calculus

Author: Adi Ben-Israel ,  Robert P. Gilbert
ISBN: 9783211829240
Format: Hardback
$314.16

 Read More >>

Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers

Recent Trends in Algebraic Development Techniques: 15th...

Author: Maura Cerioli ,  Gianna Reggio
ISBN: 9783540431596
Format: Paperback
$184.67

This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques,...  Read More >>

Operators, Functions, and Systems, Volume 1; Hardy, Hankel, and Toeplitz: An Easy Reading

Operators, Functions, and Systems, Volume 1; Hardy,...

Author: Nikolai K. Nikolski
ISBN: 9780821849330
Format: Paperback
$228.80

This unique work combines four major topics of modern analysis and its applications: Hardy classes of holomorphic...  Read More >>

Software Systems Development With CD: Formal Methods into Practice

Software Systems Development With CD: Formal Methods...

Author: J. Fitzgerald ,  P. G. Larsen
ISBN: 9780521591881
Format: Hardback
$279.71

The CD-ROM to accompany the main work, which provides an insight into established techniques which help developers...  Read More >>

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer...

Author: Steven G. Krantz
ISBN: 9780817642204
Format: Hardback
$211.07

 Read More >>

An Introduction to Fuzzy Logic and Fuzzy Sets

An Introduction to Fuzzy Logic and Fuzzy Sets

Author: James J. Buckley ,  Esfandiar Eslami
ISBN: 9783790814477
Format: Paperback
$237.47

 Read More >>

Computers and Games: Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers

Computers and Games: Second International Conference,...

Author: Tony Marsland ,  Ian Frank
ISBN: 9783540430803
Format: Paperback
$237.47

This title presents the post-proceedings of the 2nd International Conference on Computers and Games, 2001. The papers...  Read More >>

Automatic Differentiation of Algorithms: From Simulation to Optimization

Automatic Differentiation of Algorithms: From Simulation...

Author: George Corliss ,  Christele Faure
ISBN: 9780387953052
Format: Hardback
$287.76

A survey book focusing upon the key applications and relationships and synergies between automatic differentiation...  Read More >>

Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations

Mathematical Problems in Image Processing: Partial Differential...

Author: Gilles Aubert ,  Pierre Kornprobst
ISBN: 9780387953267
Format: Hardback
$211.07

This manuscript describes some mathematical problems arising in image analysis and computer vision. The authors...  Read More >>

Dynamics and Management of Reasoning Processes

Dynamics and Management of Reasoning Processes

Author: John-Jules Ch. Meyer ,  Jan Treur
ISBN: 9781402001932
Format: Hardback
$736.56

Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where...  Read More >>

Scientific Computing, Validated Numerics, Interval Methods

Scientific Computing, Validated Numerics, Interval Methods...

Author: Walter Krämer ,  Jürgen Wolff von Gudenberg
ISBN: 9780306467066
Format: Hardback
$446.16

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List