Mathematical theory of computation books

11103 books were found.

Boolean Functions and Computation Models

Boolean Functions and Computation Models
Author: Peter Clote , Evangelos Kranakis ISBN: 9783540594369 Format: Hardback	$287.76
The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the... Read More >>

Fundamentals of Quantum Information: Quantum Computation, Communication, Decoherence and All That

Fundamentals of Quantum Information: Quantum Computation,...
Author: Dieter Heiss ISBN: 9783540433675 Format: Hardback	$261.36
This book consists of a set of lectures by leading experts in the field that bridges the gap between standard textbook... Read More >>

Advanced Mathematics and Mechanics Applications Using MATLAB

Advanced Mathematics and Mechanics Applications Using...
Author: David Halpern , Howard B. Wilson ISBN: 9781584882626 Format: Hardback	$399.00
Includes material on time dependent solutions of linear partial differential equations, a chapter on eigenvalue... Read More >>

Funktionale Programmierung: in OPAL, ML, HASKELL und GOFER

Funktionale Programmierung: in OPAL, ML, HASKELL und...
Author: Peter Pepper ISBN: 9783540436218 Format: Paperback	$69.46
Dieses Lehrbuch gibt eine kompakte Einführung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen... Read More >>

Information and Randomness: An Algorithmic Perspective

Information and Randomness: An Algorithmic Perspective...
Author: Cristian S. Calude ISBN: 9783540434665 Format: Hardback	$287.76
"" The vigorous growth in the study of algorithmic information theory has continued during the past few years, which... Read More >>

Sketches of an Elephant: A Topos Theory Compendium: Volume 1

Sketches of an Elephant: A Topos Theory Compendium:...
Author: Peter T. Johnstone (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK) ISBN: 9780198534259 Format: Hardback	$689.00
Read More >>

Sketches of an Elephant: A Topos Theory Compendium: Volume 2

Sketches of an Elephant: A Topos Theory Compendium:...
Author: Peter T. Johnstone (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, UK) ISBN: 9780198515982 Format: Hardback	$689.00
Read More >>

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Computer Science Logic: 16th International Workshop,...
Author: Julian Bradfield ISBN: 9783540442400 Format: Paperback	$269.28
Read More >>

Algorithms on Trees and Graphs

Algorithms on Trees and Graphs
Author: Gabriel Valiente ISBN: 9783540435501 Format: Hardback	$237.47
Read More >>

Approximation Algorithms for Combinatorial Optimization: 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings

Approximation Algorithms for Combinatorial Optimization:...
Author: Klaus Jansen , Stefano Leonardi ISBN: 9783540441861 Format: Paperback	$163.55
Compiled from the proceedings of the 5th International Workshop on Approximation Algorithms for Combinatorial Optimization... Read More >>

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium
Author: Peter T. Johnstone ISBN: 9780198524960 Format: Hardback	$577.95
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science,... Read More >>

Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments...
Author: John-Jules Ch. Meyer , Jan Treur ISBN: 9781402008344 Format: Hardback	$752.40
Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both ""Dynamics of... Read More >>

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002

Integrated Circuit Design. Power and Timing Modeling,...
Author: Bertrand Hochet , Antonio J. Acosta ISBN: 9783540441434 Format: Paperback	$263.87
Read More >>

Randomization and Approximation Techniques in Computer Science: 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings

Randomization and Approximation Techniques in Computer...
Author: Jose D.P. Rolim , Salil Vadhan ISBN: 9783540441472 Format: Paperback	$163.55
Constituting the proceedings of the 6th International Workshop on Randomization and Approximation Techniques in... Read More >>

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Algebraic Methodology and Software Technology: 9th International...
Author: Helene Kirchner , Christophe Ringeissen ISBN: 9783540441441 Format: Paperback	$240.24
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and... Read More >>

Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings

Parallel Problem Solving from Nature - PPSN VII: 7th...
Author: Juan J. Merelo , Panagiotis Adamidis ISBN: 9783540441397 Format: Paperback	$366.96
We are proud to introduce the proceedings of the Seventh International C- ference on Parallel Problem Solving from... Read More >>

Introduction to Numerical Analysis

Introduction to Numerical Analysis
Author: J. Stoer , R. Bartels ISBN: 9780387954523 Format: Hardback	$261.36
This book combines the modern mathematical standards of numerical analysis with an understanding of the needs of... Read More >>

Algebras, Diagrams and Decisions in Language, Logic and Computation

Algebras, Diagrams and Decisions in Language, Logic...
Author: Kees Vermeulen , Ann Copestake ISBN: 9781575863726 Format: Paperback	$75.24
This exemplary volume shows how the shared interests of three different research areas can lead to significant and... Read More >>

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings

Mathematical Foundations of Computer Science 2002: 27th...
Author: Krzystof Diks , Wojciech Rytter ISBN: 9783540440406 Format: Paperback	$287.76
Read More >>

Starthilfe Informatik

Starthilfe Informatik
Author: Hans-Jürgen Appelrath , Dietrich Boles ISBN: 9783519102410 Format: Paperback	$184.67
Für die Informatik stellt sich dabei die Frage: Wie hilft man beim Einstieg in dieses Fach, über das - etwa im Gegensatz... Read More >>

Elements of Computational Statistics

Elements of Computational Statistics
Author: James E. Gentle ISBN: 9780387954899 Format: Hardback	$303.60
This book describes techniques used in computational statistics and considers some of the areas of application,... Read More >>

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Theorem Proving in Higher Order Logics: 15th International...
Author: Victor A. Carreno , Cesar A. Munoz ISBN: 9783540440390 Format: Paperback	$192.59
Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics... Read More >>

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings

CONCUR 2002 - Concurrency Theory: 13th International...
Author: Lubos Brim , Petr Jancar ISBN: 9783540440437 Format: Paperback	$269.28
Read More >>

Algorithms in Java, Parts 1-4

Algorithms in Java, Parts 1-4
Author: John Fuller , Robert Sedgewick ISBN: 9780201361209 Format: Paperback	$184.77
A textbook on algorithms and data structures now available in a Java version. Read More >>

Algebras, Diagrams and Decisions in Language, Logic and Computation

Algebras, Diagrams and Decisions in Language, Logic...
Author: Kees Vermeulen , Ann Copestake ISBN: 9781575863719 Format: Hardback	$171.60
This exemplary volume shows how the shared interests of three different research areas can lead to significant and... Read More >>

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

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