PRIZES to win! 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

7,585 results

Proof Complexity Generators

Proof Complexity Generators

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

Paperback

$86.95 

In Stock 😊

ADD +
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

$55.95 

In Stock 😊

ADD +
Theoretical Computer Science for the Working Category Theorist

Theoretical Computer Science for...

Noson S. Yanofsky (Brooklyn College,...

Paperback

$35.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

$49.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 Python for Science and Engineering

Introduction to Python for Science...

David J. Pine (New York University,...

Paperback

$145.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 +
Computability and Randomness

Computability and Randomness

André Nies (, Senior Lecturer, Department...

Paperback

$126.95 

Not in-store but you can order this

ADD +
Zero-Knowledge Machine Learning (zkML): Revolutionizing Privacy in AI Applications

Zero-Knowledge Machine Learning...

Revolutionizing Privacy in AI Applications...

Naim Tahir Baig

Paperback

$134.95  $108.28

Not in-store but you can order this

ADD +
C++ AI Development

C++ AI Development

Henry Codwell

Paperback

$57.95  $48.95

Not in-store but you can order this

ADD +
Mathematical Methods in Data Science: Bridging Theory and Applications with Python

Mathematical Methods in Data Science...

Bridging Theory and Applications...

Sébastien Roch (University of Wisconsin,...

Paperback

$179.95  $144.26

Not in-store but you can order this

ADD +
Complex, Hypercomplex and Fuzzy-Valued Neural Networks: New Perspectives and Applications

Complex, Hypercomplex and Fuzzy-Valued...

New Perspectives and Applications...

Agnieszka Niemczynowicz

Hardback

$143.95  $115.20

Not in-store but you can order this

ADD +
Mathematical Methods in Data Science: Bridging Theory and Applications with Python

Mathematical Methods in Data Science...

Bridging Theory and Applications...

Sébastien Roch (University of Wisconsin,...

Hardback

$393.95  $314.82

Not in-store but you can order this

ADD +
Acta Numerica 2025: Volume 34

Acta Numerica 2025

Volume 34

Douglas Arnold (University of Minnesota)...

Hardback

$598.95  $478.88

Not in-store but you can order this

ADD +
Mathematics in Cybersecurity

Mathematics in Cybersecurity

Alfred Basta (North Greenville University,...

Hardback

$198.95 

Forthcoming
You can preorder this

ADD +
Syntax and Semantics of Petri Nets

Syntax and Semantics of Petri Nets...

Roberto Gorrieri (Università degli...

Hardback

$347.95  $278.08

Not in-store but you can order this

ADD +
Deep Learning for Computational Imaging

Deep Learning for Computational...

Prof Reinhard Heckel (Professor...

Hardback

$219.95 

Not in-store but you can order this

ADD +
Games of No Chance 6

Games of No Chance 6

Urban Larsson (Indian Institute...

Hardback

$442.95  $354.18

Not in-store but you can order this

ADD +
Methods and Applications for Modeling and Simulation of Complex Systems: 24th Asia Simulation Conference, AsiaSim 2025, Singapore, Singapore, November 17–19, 2025, Proceedings

Methods and Applications for Modeling...

24th Asia Simulation Conference,...

Wentong Cai

Paperback

$206.95  $165.78

Forthcoming
You can preorder this

ADD +
Neural Computing for Advanced Applications: 6th International Conference, NCAA 2025, Hong Kong, China, July 4–6, 2025, Proceedings, Part I

Neural Computing for Advanced Applications...

6th International Conference, NCAA...

Haijun Zhang

Paperback

$221.95  $177.72

Forthcoming
You can preorder this

ADD +
Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors

Initial Algebras and Terminal Coalgebras...

The Theory of Fixed Points of Functors...

Jiří Adámek (Czech Technical University...

Hardback

$489.95  $392.22

Not in-store but you can order this

ADD +
Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings

Rules and Reasoning

9th International Joint Conference,...

Aidan Hogan

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
Green, Pervasive, and Cloud Computing: 19th International Conference, GPC 2024, Macao, China, September 27–30, 2024, Proceedings

Green, Pervasive, and Cloud Computing...

19th International Conference, GPC...

Xiaobo Zhou

Paperback

$326.95  $261.21

Not in-store but you can order this

ADD +
Theoretical Computer Science: 43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3–5, 2025, Revised Selected Papers

Theoretical Computer Science

43rd National Conference of Theoretical...

Minming Li

Paperback

$176.95  $141.94

Not in-store but you can order this

ADD +
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings

Intelligent Computer Mathematics...

18th International Conference, CICM...

Valeria de Paiva

Paperback

$326.95  $261.21

Not in-store but you can order this

ADD +
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings

Quantitative Evaluation of Systems...

Second International Joint Conference,...

Pavithra Prabhakar

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

Automated Reasoning with Analytic...

34th International Conference, TABLEAUX...

Gian Luca Pozzato

Paperback

$95.95  $81.81

Not in-store but you can order this

ADD +
Geometric Science of Information: 7th International Conference, GSI 2025, Saint-Malo, France, October 29–31, 2025, Proceedings, Part I

Geometric Science of Information...

7th International Conference, GSI...

Frank Nielsen

Paperback

$206.95  $165.78

Not in-store but you can order this

ADD +
Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul Agha to Celebrate His Scientific Career

Concurrent Programming, Open Systems...

Essays Dedicated to Gul Agha to...

Jose Meseguer

Paperback

$206.95  $165.78

Not in-store but you can order this

ADD +
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23–26, 2025, Proceedings

Symbolic and Quantitative Approaches...

18th European Conference, ECSQARU...

Kai Sauerwald

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
Geometric Science of Information: 7th International Conference, GSI 2025, Saint-Malo, France, October 29–31, 2025, Proceedings, Part III

Geometric Science of Information...

7th International Conference, GSI...

Frank Nielsen

Paperback

$191.95  $153.86

Not in-store but you can order this

ADD +