SALE ON NOW! PROMOTIONS

Close Notification

Your cart does not contain any items

Narrow Your Results

  • Sub Categories
  • By Availability
  • By Format
  • By Price
  • By Publication Date
  • Reset All Filters

Choose a Language

Search for Category

Mathematical theory of computation

5,236 results

Proven Impossible: Elementary Proofs of Profound Impossibility: Arrow, Bell, Chaitin, Gödel, Turing and More

Proven Impossible

Elementary Proofs of Profound Impossibility:...

Dan Gusfield

Paperback

$53.95 

In Stock 😊

ADD +
All the Math You Missed: (But Need to Know for Graduate School)

All the Math You Missed

But Need to Know for Graduate School...

Thomas A. Garrity (Williams College,...

Paperback

$46.95 

In Stock 😊

ADD +
Theoretical Computer Science for the Working Category Theorist

Theoretical Computer Science for...

Noson S. Yanofsky (Brooklyn College,...

Paperback

$32.95 

In Stock 😊

ADD +
A Dictionary of Computer Science

A Dictionary of Computer Science...

Andrew Butterfield (Trinity College,...

Paperback

$34.95 

In Stock 😊

ADD +
Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation

Haskell, Logic and Automata

Donald Sannella

Paperback

$97.95 

Not in-store but you can order this

ADD +
Numerical Methods in Physics with Python

Numerical Methods in Physics with...

Alex Gezerlis (University of Guelph,...

Paperback

$75.95 

Not in-store but you can order this

ADD +
Proofs from THE BOOK

Proofs from THE BOOK

Martin Aigner

Hardback

$163.95 

Not in-store but you can order this

ADD +
Proof Complexity Generators

Proof Complexity Generators

Jan Krajíček (Charles University,...

Paperback

$86.95 

In Stock 😊

ADD +
Data Refinement: Model-Oriented Proof Methods and their Comparison

Data Refinement

Model-Oriented Proof Methods and...

Willem-Paul de Roever (Christian-Albrechts...

Paperback

$71.95 

Not in-store but you can order this

ADD +
Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations

Mathematical Problems in Image Processing...

Partial Differential Equations and...

Gilles Aubert

Hardback

$329.95  $263.71

Not in-store but you can order this

ADD +
Galerkin Finite Element Methods for Parabolic Problems

Galerkin Finite Element Methods...

Vidar Thomee

Hardback

$354.95  $284.08

Not in-store but you can order this

ADD +
Algorithmic Information Theory: Mathematics of Digital Information Processing

Algorithmic Information Theory

Mathematics of Digital Information...

Peter Seibt

Hardback

$334.95  $267.68

Not in-store but you can order this

ADD +
Graph Drawing Software

Graph Drawing Software

Michael Jünger

Hardback

$370.95  $296.98

Not in-store but you can order this

ADD +
Math for Programming

Math for Programming

Ronald T. Kneusel

Paperback

$100 

Not in-store but you can order this

ADD +
Enumerative Combinatorics: Volume 2

Enumerative Combinatorics

Volume 2

Richard Stanley (Massachusetts Institute...

Paperback

$96.95 

Not in-store but you can order this

ADD +
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control

Data-Driven Science and Engineering...

Machine Learning, Dynamical Systems,...

Steven L. Brunton (University of...

Hardback

$96.95 

Not in-store but you can order this

ADD +
Trustworthy Online Controlled Experiments: A Practical Guide to A/B Testing

Trustworthy Online Controlled Experiments...

A Practical Guide to A/B Testing...

Ron Kohavi

Paperback

$59.95 

Not in-store but you can order this

ADD +
Scientific Computing with MATLAB

Scientific Computing with MATLAB...

Dingyu Xue (Northeastern University,...

Hardback

$221 

Not in-store but you can order this

ADD +
Foundation Mathematics

Foundation Mathematics

K. A. Stroud

Paperback

$120 

Not in-store but you can order this

ADD +
Discrete Mathematics for Computing

Discrete Mathematics for Computing...

Peter Grossman

Paperback

$130 

Not in-store but you can order this

ADD +
The Finite Element Method Using MATLAB

The Finite Element Method Using...

Young W. Kwon

Hardback

$347 

Not in-store but you can order this

ADD +
Advances in Knowledge Discovery and Data Mining: 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10–13, 2025, Proceedings, Part II

Advances in Knowledge Discovery...

29th Pacific-Asia Conference on...

Xintao Wu

Paperback

$227.95  $182.37

Not in-store but you can order this

ADD +
Advances in Knowledge Discovery and Data Mining: 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10–13, 2025, Proceedings, Part I

Advances in Knowledge Discovery...

29th Pacific-Asia Conference on...

Xintao Wu

Paperback

$227.95  $182.37

Not in-store but you can order this

ADD +
Operations Research and Enterprise Systems: 13th International Conference, ICORES 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers

Operations Research and Enterprise...

13th International Conference, ICORES...

Federico Liberatore

Paperback

$161.95  $129.89

Not in-store but you can order this

ADD +
Logic and Argumentation: 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings

Logic and Argumentation

6th International Conference, CLAR...

Thomas Ågotnes

Paperback

$161.95  $129.89

Not in-store but you can order this

ADD +
Integer Programming and Combinatorial Optimization: 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11–13, 2025, Proceedings

Integer Programming and Combinatorial...

26th International Conference, IPCO...

Nicole Megow

Paperback

$358.95  $287.33

Not in-store but you can order this

ADD +
Graph-Based Representations in Pattern Recognition: 14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25–27, 2025, Proceedings

Graph-Based Representations in Pattern...

14th IAPR-TC-15 International Workshop,...

Luc Brun

Paperback

$325.95  $261.09

Not in-store but you can order this

ADD +
Application and Theory of Petri Nets and Concurrency: 46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedings

Application and Theory of Petri...

46th International Conference, PETRI...

Elvio Amparore

Paperback

$211.95  $169.25

Not in-store but you can order this

ADD +
Algorithms and Complexity: 14th International Conference, CIAC 2025, Rome, Italy, June 10–12, 2025, Proceedings, Part I

Algorithms and Complexity

14th International Conference, CIAC...

Irene Finocchi

Paperback

$178.95  $143.01

Not in-store but you can order this

ADD +
Algorithms and Complexity: 14th International Conference, CIAC 2025, Rome, Italy, June 10–12, 2025, Proceedings, Part II

Algorithms and Complexity

14th International Conference, CIAC...

Irene Finocchi

Paperback

$227.95  $182.37

Not in-store but you can order this

ADD +
Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Recent Trends in Algebraic Development...

27th IFIP WG 1.3 International Workshop,...

Ionuț Țuțu

Paperback

$293.95  $234.85

Not in-store but you can order this

ADD +
Structural Information and Communication Complexity: 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings

Structural Information and Communication...

32nd International Colloquium, SIROCCO...

Ulrich Schmid

Paperback

$407.95  $326.69

Not in-store but you can order this

ADD +