To view prices and purchase online, please login or create an account now.

Mathematical theory of computation

Refine Result:

Format: Country of publication: Publication date: Sort results by:
Page 2 of 5  Prev Next
Displaying: 31 - 60 of 128 items.
Revised [6] Report on the Algorithmic Language Scheme

Revised [6] Report on the Algorithmic Language Scheme

By Michael Sperber , R. Kent Dybvig
Hardback
Usually ships within 3-5 weeks

Mathematical Logic through Python

Mathematical Logic through Python

By Yannai A. Gonczarowski , Noam Nisan
Hardback
Usually ships within 3-5 weeks

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

By Jean-Raymond Abrial
Hardback
Usually ships within 3-5 weeks

Computational Thinking for Life Scientists

Computational Thinking for Life Scientists

By Benny Chor , Amir Rubinstein
Paperback / softback
Usually ships within 3-5 weeks

Pop-Up Geometry: The Mathematics Behind Pop-Up Cards

Pop-Up Geometry: The Mathematics Behind Pop-Up Cards

By Joseph O'Rourke
Paperback / softback
Usually ships within 3-5 weeks

Connecting Discrete Mathematics and Computer Science

Connecting Discrete Mathematics and Computer Science

By David Liben-Nowell
Hardback
Usually ships within 3-5 weeks

Theories of Computability

Theories of Computability

By Nicholas Pippenger
Hardback
Usually ships within 3-5 weeks

P, NP, and NP-Completeness: The Basics of Computational Complexity

P, NP, and NP-Completeness: The Basics of Computational Complexity

By Oded Goldreich
Paperback / softback
Usually ships within 3-5 weeks

Logical Frameworks

Logical Frameworks

By Gerard Huet , G. Plotkin
Hardback
Usually ships within 3-5 weeks

The Design of Approximation Algorithms

The Design of Approximation Algorithms

By David P. Williamson , David B. Shmoys
Hardback
Usually ships within 3-5 weeks

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

By Davide Sangiorgi
Hardback
Usually ships within 3-5 weeks

The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods

By Jonathan Jacky
Paperback / softback
Usually ships within 3-5 weeks

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

By Rob Nederpelt , Herman Geuvers
Hardback
Usually ships within 3-5 weeks

Numerical Recipes 3rd Edition: The Art of Scientific Computing

Numerical Recipes 3rd Edition: The Art of Scientific Computing

By William H. Press , Saul A. Teukolsky
Hardback
Usually ships within 3-5 weeks

Analytic Pattern Matching: From DNA to Twitter

Analytic Pattern Matching: From DNA to Twitter

By Philippe Jacquet , Wojciech Szpankowski
Hardback
Usually ships within 3-5 weeks

Knowledge Representation, Reasoning and Declarative Problem Solving

Knowledge Representation, Reasoning and Declarative Problem Solving

By Chitta Baral
Hardback
Usually ships within 3-5 weeks

Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

By Gilles Dowek , Pierre Guillot
Paperback / softback
Usually ships within 3-5 weeks

Automatic Sequences: Theory, Applications, Generalizations

Automatic Sequences: Theory, Applications, Generalizations

By Jean-Paul Allouche , Jeffrey Shallit
Hardback
Usually ships within 3-5 weeks

Graph Theory with Applications to Engineering and Computer Science

Graph Theory with Applications to Engineering and Computer Science

By Narsingh Deo
Paperback / softback
Usually ships within 3-5 weeks

A Short Introduction to Quantum Information and Quantum Computation

A Short Introduction to Quantum Information and Quantum Computation

By Michel Le Bellac
Hardback
Usually ships within 3-5 weeks

Constraint Handling Rules

Constraint Handling Rules

By Thom Fruhwirth
Hardback
Usually ships within 3-5 weeks

Computational Complexity: A Modern Approach

Computational Complexity: A Modern Approach

By Sanjeev Arora , Boaz Barak
Hardback
Usually ships within 3-5 weeks

The Influence of Computers and Informatics on Mathematics and its Teaching: Proceedings From a Symposium Held in Strasbourg, Fra

The Influence of Computers and Informatics on Mathematics and its Teaching: Proceedings From a Symposium Held in Strasbourg, Fra

By R. F. Churchhouse , B. Cornu
Paperback / softback
Usually ships within 3-5 weeks

Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

By T. F. Melham
Hardback
Usually ships within 3-5 weeks

Coding Theory: A First Course

Coding Theory: A First Course

By San Ling , Chaoping Xing
Hardback
Usually ships within 3-5 weeks

Topics in Finite and Discrete Mathematics

Topics in Finite and Discrete Mathematics

By Sheldon M. Ross
Hardback
Usually ships within 3-5 weeks

A Distributed Pi-Calculus

A Distributed Pi-Calculus

By Matthew Hennessy
Hardback
Usually ships within 3-5 weeks

Probabilistic Reasoning in Multiagent Systems: A Graphical Models Approach

Probabilistic Reasoning in Multiagent Systems: A Graphical Models Approach

By Yang Xiang
Hardback
Usually ships within 3-5 weeks

The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents

By Robin Milner
Hardback
Usually ships within 3-5 weeks

The Geometry of Information Retrieval

The Geometry of Information Retrieval

By C. J. van Rijsbergen
Hardback
Usually ships within 3-5 weeks

  Page 2 of 5  Prev Next