Mathematical theory of computation books

11103 books were found.

Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities

Mathematics and Computer Science II: Algorithms, Trees,...
Author: Brigitte Chauvin , Philippe Flajolet ISBN: 9783764369330 Format: Hardback	$472.56
Read More >>

Computing and Combinatorics: 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings

Computing and Combinatorics: 8th Annual International...
Author: Oscar H. Ibarra , Louxin Zhang ISBN: 9783540439967 Format: Paperback	$269.28
Read More >>

Map-Seeking Circuits in Visual Cognition: A Computational Mechanism for Biological and Machine Vision

Map-Seeking Circuits in Visual Cognition: A Computational...
Author: David W. Arathorn ISBN: 9780804742771 Format: Hardback	$89.95
This work presents a bold new theory of the cognitive circuitry of the brain, with emphasis on the functioning of... Read More >>

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched...
Author: David J. Pym ISBN: 9781402007453 Format: Hardback	$456.72
Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof... Read More >>

Programmation Linéaire, Complexité: Séparation et Optimisation

Programmation Linéaire, Complexité: Séparation et Optimisation...
Author: Jean F. Maurras ISBN: 9783540436713 Format: Paperback	$237.47
Read More >>

Artificial Intelligence and Dynamic Systems for Geophysical Applications

Artificial Intelligence and Dynamic Systems for Geophysical...
Author: Alexej Gvishiani , Jacques O. Dubois ISBN: 9783540432586 Format: Hardback	$710.16
The book presents new clustering schemes, dynamical systems and pattern recognition algorithms in geophysical, geodynamical... Read More >>

Fork Algebras In Algebra, Logic And Computer Science


Author: Marcelo Fabian Frias (Univ De Buenos Aires, Argentina) ISBN: 9789810248765 Format: Hardback	$161.04
Read More >>

Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Abstraction, Reformulation, and Approximation: 5th International...
Author: Sven Koenig , Robert C. Holte ISBN: 9783540439417 Format: Paperback	$184.67
The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an... Read More >>

Computer Algebra and Symbolic Computation: Elementary Algorithms

Computer Algebra and Symbolic Computation: Elementary...
Author: Joel S. Cohen ISBN: 9781568811581 Format: Hardback	$189.00
Read More >>

Mathematical Structures for Computer Science

Mathematical Structures for Computer Science
Author: Judith L. Gersting ISBN: 9780716743583 Format: Hardback	$321.95
Mathematical Structures for Computer Science meets the needs of computer science majors by offering a pedagogically... Read More >>

Scientific Computing with Ordinary Differential Equations

Scientific Computing with Ordinary Differential Equations...
Author: Peter Deuflhard , W.C. Rheinboldt ISBN: 9780387954622 Format: Hardback	$224.27
The textbook provides a fundamental introduction to the mathematical and numerical aspects of discretization methods... Read More >>

Process Algebra with Timing

Process Algebra with Timing
Author: J.C.M. Baeten , C.A. Middelburg ISBN: 9783540434474 Format: Hardback	$366.96
Read More >>

Words, Proofs and Diagrams

Words, Proofs and Diagrams
Author: David Barker-Plummer , David I. Beaver ISBN: 9781575864068 Format: Paperback	$42.95
The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists,... Read More >>

Soft Computing and Industry: Recent Applications

Soft Computing and Industry: Recent Applications
Author: Rajkumar Roy , Mario Koppen ISBN: 9781852335397 Format: Hardback	$562.32
Focuses on soft computing, that is important in the design and implementation of industrial systems and because... Read More >>

Multicriteria Analysis in Engineering: Using the PSI Method with MOVI 1.0

Multicriteria Analysis in Engineering: Using the PSI...
Author: R.B. Statnikov , J.B. Matusov ISBN: 9781402007088 Format: Hardback	$393.36
Features the Parameter Space Investigation (PSI) method that can be used for the statement and solution of the following... Read More >>

Foundations of Information Technology in the Era of Network and Mobile Computing

Foundations of Information Technology in the Era of...
Author: Ricardo Baeza-Yates , Ugo Montanari ISBN: 9781402071812 Format: Hardback	$625.68
Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science... Read More >>

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Mathematics of Program Construction: 6th International...
Author: Eerke A. Boiten , Bernhard Möller ISBN: 9783540438571 Format: Paperback	$163.55
Read More >>

Words, Proofs and Diagrams

Words, Proofs and Diagrams
Author: David Barker-Plummer , David I. Beaver ISBN: 9781575864051 Format: Hardback	$178.20
The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists,... Read More >>

Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers

Parallel Processing and Applied Mathematics: 4th International...
Author: Roman Wyrzykowski , Jack Dongarra ISBN: 9783540437925 Format: Paperback	$274.56
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing... Read More >>

Mathematics in Signal Processing V

Mathematics in Signal Processing V
Author: J. G. McWhirter (, Defence Evaluation and Research Agency, St Andrew's Road, Malvern WR14 3PS) , I. K. Proudler (, Defence Evaluation and Research Agency, St Andrew's Road, Malvern WR14 3PS) ISBN: 9780198507345 Format: Hardback	$228.95
Read More >>

Recent Developments in Domain Decomposition Methods

Recent Developments in Domain Decomposition Methods...
Author: Luca F. Pavarino , Andrea Toselli ISBN: 9783540434139 Format: Paperback	$340.56
The main goal of this book is to provide an overview of some of the developments in the field of domain decomposition... Read More >>

Programming the Dynamic Analysis of Structures

Programming the Dynamic Analysis of Structures
Author: Prab Bhatt (University of Glasgow, UK) ISBN: 9780419156109 Format: Hardback	$530.44
This book presents a series of integrated computer programs for the dynamic analysis of structures. It will be an... Read More >>

Computational Invariant Theory

Computational Invariant Theory
Author: Harm Derksen , Gregor Kemper ISBN: 9783540434764 Format: Hardback	$393.36
Throughout the history of invariant theory, computational methods have always been at the centre of attention. This... Read More >>

A Singular Introduction to Commutative Algebra

A Singular Introduction to Commutative Algebra
Author: Eberhard Zeidler , Gert-Martin Greuel ISBN: 9783540428978 Format: Paperback	$158.27
Read More >>

Classical and Quantum Computation

Classical and Quantum Computation
Author: A. Yu. Kitaev , A. H. Shen ISBN: 9780821832295 Format: Paperback	$157.30
Presents an introduction to the theory of quantum computing. This book starts with the basics of classical theory... Read More >>

Page 374 of 445 ... 369 370 371 372 373 374 375 376 377 378 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now