Mathematical theory of computation books

11103 books were found.

Problem-Solving Processes in Humans and Computers: Theory and Research in Psychology and Artificial Intelligence

Problem-Solving Processes in Humans and Computers: Theory...

Author: Morton Wagman
ISBN: 9780275970871
Format: Hardback
$140.00

The author gives a broad, structured account of advancing intellectual developments in both psycholgical and computational...  Read More >>

Unifying Petri Nets: Advances in Petri Nets

Unifying Petri Nets: Advances in Petri Nets

Author: Hartmut Ehrig ,  Gabriel Juhas
ISBN: 9783540430674
Format: Paperback
$224.27

Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to...  Read More >>

Rough Sets and Current Trends in Computing: Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers

Rough Sets and Current Trends in Computing: Second International...

Author: Wojciech Ziarko ,  Yiyu Yao
ISBN: 9783540430742
Format: Paperback
$279.84

The 80 revised papers, together with an introduction and three keynote presentations have gone through two rounds...  Read More >>

Cryptography and Coding: 8th IMA International Conference Cirencester, UK, December 17-19, 2001 Proceedings

Cryptography and Coding: 8th IMA International Conference...

Author: Bahram Honary
ISBN: 9783540430261
Format: Paperback
$197.87

These start with mathematical bounds, statistical decoding schemes for error correcting codes, and undetected error...  Read More >>

Mathematical Computing: An Introduction to Programming Using Maple®

Mathematical Computing: An Introduction to Programming...

Author: David Betounes ,  Mylan Redfern
ISBN: 9780387953311
Format: Hardback
$197.87

This book teaches introductory computer programming using Maple as the programming language. It puts more mathematically-oriented...  Read More >>

Learning Kernel Classifiers: Theory and Algorithms

Learning Kernel Classifiers: Theory and Algorithms

Author: Ralf Herbrich ,  Francis Bach (INRIA - Willow Project-Team)
ISBN: 9780262083065
Format: Hardback
$124.08

An overview of the theory and application of kernel classification methods.  Read More >>

Algorithms and Computation: 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings

Algorithms and Computation: 12th International Symposium,...

Author: Peter Eades ,  Tadao Takaoka
ISBN: 9783540429852
Format: Paperback
$303.60

This text contains the proceedings of the 12th International Conference on Algorithms and Computation, held in New...  Read More >>

The Complexity Theory Companion

The Complexity Theory Companion

Author: Lane A. Hemaspaandra ,  Mitsunori Ogihara
ISBN: 9783540674191
Format: Hardback
$287.76

The Complexity Theory Companion is an accessible, algorithmically oriented, research-centered, up-to-date guide...  Read More >>

Computer Arithmetic Algorithms

Computer Arithmetic Algorithms

Author: Israel Koren
ISBN: 9781568811604
Format: Hardback
$183.00

 Read More >>

Parallel-Vector Equation Solvers for Finite Element Engineering Applications

Parallel-Vector Equation Solvers for Finite Element...

Author: Duc Thai Nguyen
ISBN: 9780306466403
Format: Hardback
$446.16

Despite the ample number of articles on parallel-vector computational algorithms published over the last 20 years,...  Read More >>

Mathematical Modeling and Numerical Simulation in Continuum Mechanics: Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan

Mathematical Modeling and Numerical Simulation in Continuum...

Author: Ivo Babuska ,  Philippe G. Ciarlet
ISBN: 9783540423997
Format: Paperback
$340.56

The first international symposium on mathematical foundations of the finite element method was held at the University...  Read More >>

Building and Solving Mathematical Programming Models in Engineering and Science

Building and Solving Mathematical Programming Models...

Author: Enrique Castillo ,  Antonio J. Conejo
ISBN: 9780471150435
Format: Hardback
$384.95

Modeling is one of the most appealing areas in engineering and applied sciences. Engineers need to build models...  Read More >>

Classification of Nuclear C*-Algebras. Entropy in Operator Algebras

Classification of Nuclear C*-Algebras. Entropy in Operator...

Author: M. Rordam ,  E. Stormer
ISBN: 9783540423058
Format: Hardback
$393.36

to the Encyclopaedia Subseries on Operator Algebras and Non-Commutative Geometry The theory of von Neumann algebras...  Read More >>

Graph Colouring and the Probabilistic Method

Graph Colouring and the Probabilistic Method

Author: Michael Molloy ,  Bruce Reed
ISBN: 9783540421399
Format: Hardback
$366.96

Over the past decade, many major advances have been made in the field of graph colouring via the probabilistic method....  Read More >>

Local Search for Planning and Scheduling: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers

Local Search for Planning and Scheduling: ECAI 2000...

Author: Alexander Nareyek
ISBN: 9783540428985
Format: Paperback
$145.07

This text constitutes the refereed post-proceedings of the International Workshop on Local Search for Planning and...  Read More >>

Engines of Logic: Mathematicians and the Origin of the Computer

Engines of Logic: Mathematicians and the Origin of the...

Author: Martin Davis
ISBN: 9780393322293
Format: Paperback
$52.67

Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question...  Read More >>

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Domains and Processes: Proceedings of the 1st International...

Author: Klaus Keimel ,  Guo-Qiang Zhang
ISBN: 9780792371434
Format: Hardback
$422.40

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics....  Read More >>

Computational Discrete Mathematics: Advanced Lectures

Computational Discrete Mathematics: Advanced Lectures...

Author: Helmut Alt
ISBN: 9783540427759
Format: Paperback
$126.59

 Read More >>

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Modeling and Verification of Parallel Processes: 4th...

Author: Franck Cassez ,  Claude Jard
ISBN: 9783540427872
Format: Paperback
$139.79

 Read More >>

Computational Statistical Physics: From Billiards to Monte Carlo

Computational Statistical Physics: From Billiards to...

Author: K.-H. Hoffmann ,  Michael Schreiber
ISBN: 9783540421603
Format: Hardback
$446.16

In this book 16 experts describe the application of methods of statistical physics to various areas in physics such...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List