ONLY $9.90 DELIVERY INFO

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,796 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 +
Proof Complexity Generators

Proof Complexity Generators

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

Paperback

$86.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 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 +
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 +
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 +
Fundamentals of Computation Theory: 25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings

Fundamentals of Computation Theory...

25th International Symposium, FCT...

Artur Jeż

Paperback

$191.95  $153.86

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 II

Geometric Science of Information...

7th International Conference, GSI...

Frank Nielsen

Paperback

$191.95  $153.86

Not in-store but you can order this

ADD +
String Processing and Information Retrieval: 32nd International Symposium, SPIRE 2025, London, UK, September 8–11, 2025, Proceedings

String Processing and Information...

32nd International Symposium, SPIRE...

Golnaz Badkobeh

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
History of Artificial Intelligence: From the Mathematics of Ancient Civilizations to Thinking Machines

History of Artificial Intelligence...

From the Mathematics of Ancient...

Abbas Tcharkhtchi

Paperback

$156.95  $125.67

Forthcoming
You can preorder this

ADD +
The Numerical Method of Lines and Duality Principles Applied to Models in Physics and Engineering

The Numerical Method of Lines and...

Fabio Silva Botelho (Federal University...

Paperback

$156.95  $125.67

Forthcoming
You can preorder this

ADD +
Model-Based Safety and Assessment: 9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings

Model-Based Safety and Assessment...

9th International Symposium, IMBSA...

Panagiotis Katsaros

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Runtime Verification

25th International Conference, RV...

Bettina Könighofer

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

Frontiers of Combining Systems

15th International Symposium, FroCoS...

René Thiemann

Paperback

$95.95  $81.81

Not in-store but you can order this

ADD +
Flexible Query Answering Systems: 16th International Conference, FQAS 2025, Burgas, Bulgaria, September 11–13, 2025, Proceedings

Flexible Query Answering Systems...

16th International Conference, FQAS...

Guy De Tré

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
Conceptual Knowledge Structures: Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings

Conceptual Knowledge Structures...

Second International Joint Conference,...

Peggy Cellier

Paperback

$326.95  $261.21

Not in-store but you can order this

ADD +
Logics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I

Logics in Artificial Intelligence...

19th European Conference, JELIA...

Giovanni Casini

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
Logics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II

Logics in Artificial Intelligence...

19th European Conference, JELIA...

Giovanni Casini

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Rigorous State-Based Methods

11th International Conference, ABZ...

Michael Leuschel

Paperback

$326.95  $261.21

Not in-store but you can order this

ADD +
KI 2025: Advances in Artificial Intelligence: 48th German Conference on AI, Potsdam, Germany, September 16–19, 2025, Proceedings

KI 2025

Advances in Artificial Intelligence:...

Tanya Braun

Paperback

$162.95  $130.01

Not in-store but you can order this

ADD +
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Formal Methods for Industrial Critical...

30th International Conference, FMICS...

Anne Remke

Paperback

$147.95  $118.08

Not in-store but you can order this

ADD +
Advances in Neural Networks – ISNN 2025: 19th International Symposium on Neural Networks, Zhangye, China, August 22–24, 2025, Proceedings

Advances in Neural Networks – ISNN...

19th International Symposium on...

Long Jin

Paperback

$326.95  $261.21

Not in-store but you can order this

ADD +