Mathematical theory of computation books

11093 books were found.

Geometric Modeling for Scientific Visualization

Geometric Modeling for Scientific Visualization

Author: Guido Brunnett ,  Bernd Hamann
ISBN: 9783642072635
Format: Paperback
$393.36

Geometric Modeling and Scientific Visualization are both established disciplines, each with their own series of...  Read More >>

Impacts in Mechanical Systems: Analysis and Modelling

Impacts in Mechanical Systems: Analysis and Modelling...

Author: Bernard Brogliato
ISBN: 9783642086977
Format: Paperback
$287.76

This volume constitutes an advanced introduction to the field of analysis, modeling and numerical simulation of...  Read More >>

Abduction and Induction: Essays on their Relation and Integration

Abduction and Induction: Essays on their Relation and...

Author: P.A. Flach ,  Antonis Hadjiantonis
ISBN: 9789048154333
Format: Paperback
$578.16

From the very beginning of their investigation of human reasoning, philosophers have identified two other forms...  Read More >>

Advances in Robot Kinematics and Computational Geometry

Advances in Robot Kinematics and Computational Geometry...

Author: Jadran Lenarčič ,  Bahram Ravani
ISBN: 9789048144341
Format: Paperback
$1187.97

Recently, research in robot kinematics has attracted researchers with different theoretical profiles and backgrounds,...  Read More >>

Communication Complexity and Parallel Computing

Communication Complexity and Parallel Computing

Author: Juraj Hromkovič
ISBN: 9783642081859
Format: Paperback
$184.67

 Read More >>

Information and Randomness: An Algorithmic Perspective

Information and Randomness: An Algorithmic Perspective...

Author: Cristian S. Calude
ISBN: 9783642077937
Format: Paperback
$287.76

"" The vigorous growth in the study of algorithmic information theory has continued during the past few years, which...  Read More >>

Alternative Logics. Do Sciences Need Them?

Alternative Logics. Do Sciences Need Them?

Author: Paul A. Weingartner
ISBN: 9783642073915
Format: Paperback
$356.40

Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences...  Read More >>

Verbmobil: Foundations of Speech-to-Speech Translation

Verbmobil: Foundations of Speech-to-Speech Translation...

Author: Wolfgang Wahlster
ISBN: 9783642087301
Format: Paperback
$419.76

Verbmobil is the result of eight years of intensive research in a large speech-to-speech translation project, executed...  Read More >>

Chance Discovery

Chance Discovery

Author: Yukio Ohsawa ,  Peter McBurney
ISBN: 9783642056093
Format: Paperback
$366.96

Deals with chance discovery. This title is useful for researchers as well as professionals dealing with real-world...  Read More >>

Essentials of Constraint Programming

Essentials of Constraint Programming

Author: Thom Frühwirth ,  Slim Abdennadher
ISBN: 9783642087127
Format: Paperback
$184.67

 Read More >>

Robustness in Statistical Pattern Recognition

Robustness in Statistical Pattern Recognition

Author: Y. Kharin
ISBN: 9789048147601
Format: Paperback
$578.16

 Read More >>

Maximum Entropy and Bayesian Methods

Maximum Entropy and Bayesian Methods

Author: Ali Mohammad-Djafari ,  G. Demoment
ISBN: 9789048142729
Format: Paperback
$918.72

 Read More >>

Multi-Hierarchical Representation of Large-Scale Space: Applications to Mobile Robots

Multi-Hierarchical Representation of Large-Scale Space:...

Author: Juan A. Fernández ,  Javier González
ISBN: 9789048158614
Format: Paperback
$419.76

It has been stated in psychology that human brain arranges information in a way that improves efficiency in performing...  Read More >>

Differential and Integral Equations through Practical Problems and Exercises

Differential and Integral Equations through Practical...

Author: G. Micula ,  Paraschiva Pavel
ISBN: 9789048141845
Format: Paperback
$472.56

This volume presents a collection of problems and exercises, together with guidelines and worked solutions, covering...  Read More >>

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques...

Author: B. Berard ,  P. McKenzie
ISBN: 9783642074783
Format: Paperback
$211.07

 Read More >>

Linear and Integer Programming vs Linear Integration and Counting: A Duality Viewpoint

Linear and Integer Programming vs Linear Integration...

Author: Jean-Bernard Lasserre
ISBN: 9781441918536
Format: Paperback
$184.67

This book analyzes and compares four closely related problems, namely linear programming, integer programming, linear...  Read More >>

Computational Thermodynamics: The Calphad Method

Computational Thermodynamics: The Calphad Method

Author: Hans Lukas (Max-Planck Institute, Stuttgart) ,  Suzana G. Fries (SGF Scientific Consultancy)
ISBN: 9780511804137
Format: Undefined
$620.40

A hands-on 2007 introductory guide to CALPHAD, the reader can directly apply the methods in the book to their own...  Read More >>

Cost-Benefit Analysis and the Theory of Fuzzy Decisions: Identification and Measurement Theory

Cost-Benefit Analysis and the Theory of Fuzzy Decisions:...

Author: Kofi Kissi Dompere
ISBN: 9783642060564
Format: Paperback
$604.56

the objects and ends constitute the specific differ­ ence There is nothing in the intellect that has not already...  Read More >>

The Complexity Theory Companion

The Complexity Theory Companion

Author: Lane A. Hemaspaandra ,  Mitsunori Ogihara
ISBN: 9783642086847
Format: Paperback
$287.76

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

Process Algebra with Timing

Process Algebra with Timing

Author: J.C.M. Baeten ,  C.A. Middelburg
ISBN: 9783642077883
Format: Paperback
$366.96

This book is concerned with a number of theories that can be used for describ­ ing and analyzing systems of interacting...  Read More >>

Introduction to Evolutionary Computing

Introduction to Evolutionary Computing

Author: Agoston E. Eiben ,  J.E. Smith
ISBN: 9783642072857
Format: Paperback
$131.87

Evolutionary Computing is the collective name for a range of problem-solving techniques based on principles of biological...  Read More >>

Artificial Intelligence and Dynamic Systems for Geophysical Applications

Artificial Intelligence and Dynamic Systems for Geophysical...

Author: Alexej Gvishiani ,  Jacques O. Dubois
ISBN: 9783642077579
Format: Paperback
$710.16

The book presents new clustering schemes, dynamical systems and pattern recognition algorithms in geophysical, geodynamical...  Read More >>

Tools and Modes of Representation in the Laboratory Sciences

Tools and Modes of Representation in the Laboratory...

Author: U. Klein
ISBN: 9789048158591
Format: Paperback
$332.64

constitutive of reference in laboratory sciences as cultural sign systems and their manipulation and superposition,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List