Mathematical theory of computation books

11103 books were found.

The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications

The Logic, Philosophy, and History of the Lambda-Calculus:...
Author: Levis Zerpa ISBN: 9783031728532 Format: Paperback	$422.37
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of... Read More >>

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem

Concise Introduction to Alternating-Time Temporal Logics:...
Author: Stéphane Demri ISBN: 9783032118844 Format: Hardback	$145.17
Read More >>

Proceedings of the International Conference on Computational Mathematics and Applications: ICCMA 2025

Proceedings of the International Conference on Computational...
Author: Kedar Nath Das , Pankaj Biswas ISBN: 9789819689866 Format: Paperback	$739.17
This book showcases high-quality research articles presented in the International Conference on Computational Mathematics... Read More >>

Managing Project Complexity and Risk with Systems Engineering

Managing Project Complexity and Risk with Systems Engineering...
Author: Robert F. Bordley ISBN: 9783032089007 Format: Hardback	$263.97
This book introduces the systems approach as a powerful framework for developing practical and implementable solutions... Read More >>

Quantum Algorithms for Optimizers: From Core Principles to AI Applications

Quantum Algorithms for Optimizers: From Core Principles...
Author: Giacomo Nannicini ISBN: 9781611978759 Format: Paperback	$148.50
Read More >>

Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Verification, Model Checking, and Abstract Interpretation:...
Author: Yu-Fang Chen , Thomas Jensen ISBN: 9783032156990 Format: Paperback	$211.17
Read More >>

Quantum Computing: Foundations and Practice

Quantum Computing: Foundations and Practice
Author: Steven Herbert (Affiliated Lecturer, Affiliated Lecturer, Department of Computer Science and Technology, University of Cambridge) ISBN: 9780192868442 Format: Paperback	$94.95
Read More >>

Practical Aspects of Declarative Languages: 28th International Symposium, PADL 2026, Rennes, France, January 12–13, 2026, Proceedings

Practical Aspects of Declarative Languages: 28th International...
Author: Nada Amin , Joaquín Arias ISBN: 9783032159809 Format: Paperback	$171.57
Read More >>

Quantum Computing: Foundations and Practice

Quantum Computing: Foundations and Practice
Author: Steven Herbert (Affiliated Lecturer, Affiliated Lecturer, Department of Computer Science and Technology, University of Cambridge) ISBN: 9780192868435 Format: Hardback	$287.95
Read More >>

On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday

On the Pursuit of Insight and Elegance: Essays Dedicated...
Author: Daniel Dietsch , Andrey Rybalchenko ISBN: 9783032137104 Format: Paperback	$145.17
Read More >>

Quantenalgorithmen: Eine Einführung

Quantenalgorithmen: Eine Einführung
Author: Johannes A. Buchmann ISBN: 9783662711767 Format: Paperback	$92.37
Dieses Buch richtet sich an alle, die ein umfassendes Verständnis von Quantenalgorithmen gewinnen möchten – sowohl... Read More >>

Topological Data Analysis for Neural Networks

Topological Data Analysis for Neural Networks
Author: Rubén Ballester , Carles Casacuberta ISBN: 9783032082824 Format: Paperback	$145.17
Read More >>

Web and Internet Economics: 20th International Conference, WINE 2024, Edinburgh, UK, December 2–5, 2024, Proceedings

Web and Internet Economics: 20th International Conference,...
Author: Marios Mavronicolas , Qi Qi ISBN: 9783032085597 Format: Paperback	$448.77
This volume LNCS 15534 constitutes the refereed proceedings of the 20th International Conference on Web and Internet... Read More >>

Learning and Intelligent Optimization: 19th International Conference, LION 19, Prague, Czech Republic, June 15–19, 2025, Proceedings, Part I

Learning and Intelligent Optimization: 19th International...
Author: Yingqian Zhang , Milan Hladik ISBN: 9783032091550 Format: Paperback	$237.57
The two-volume set LNCS 15744 + 15745 constitutes the proceedings of the 19th International Conference on Learning... Read More >>

Designing Possibilistic Information Fusion Systems: Redundancy as Criterion for Fusion Topologies

Designing Possibilistic Information Fusion Systems:...
Author: Christoph-Alexander Holst ISBN: 9783032106957 Format: Paperback	$343.17
Intelligent technical systems process information from multiple sources, but are confronted with uncertainties inherent... Read More >>

Embedding Sequential Circuits for their Polynomial Formal Verification

Embedding Sequential Circuits for their Polynomial Formal...
Author: Caroline Dominik ISBN: 9783658501549 Format: Paperback	$263.97
As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise... Read More >>

Graph-Theoretic Concepts in Computer Science: 51st International Workshop, WG 2025, Otzenhausen, Germany, June 11–13, 2025, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science: 51st International...
Author: Henning Fernau , Philipp Kindermann ISBN: 9783032118349 Format: Paperback	$527.97
This volume constitutes the thoroughly refereed proceedings of the 51st International Workshop on Graph-Theoretic... Read More >>

Theory and Applications of Models of Computation: 19th Annual Conference, TAMC 2025, Jinan, China, September 19–21, 2025, Proceedings

Theory and Applications of Models of Computation: 19th...
Author: Min Li , Mingji Xia ISBN: 9789819548385 Format: Paperback	$197.97
Read More >>

Learning and Intelligent Optimization: 19th International Conference, LION 19, Prague, Czech Republic, June 15–19, 2025, Proceedings, Part II

Learning and Intelligent Optimization: 19th International...
Author: Yingqian Zhang , Milan Hladik ISBN: 9783032091918 Format: Paperback	$197.97
The two-volume set LNCS 15744 + 15745 constitutes the proceedings of the 19th International Conference on Learning... Read More >>

Game Theory for Networks: 13th EAI International Conference, GameNets 2025, Cambridge, UK, March 17–18, 2025, Proceedings

Game Theory for Networks: 13th EAI International Conference,...
Author: Vaneet Aggarwal , Tobias Harks ISBN: 9783032129147 Format: Paperback	$263.97
This book constitutes the refereed proceedings of the 13th EAI International Conference on Game Theory for Networks,... Read More >>

Formale Logik im Dialog: Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt

Formale Logik im Dialog: Aussagenlogik, Prädikatenlogik...
Author: Ernst-Erich Doberkat ISBN: 9783662727003 Format: Paperback	$105.57
Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik... Read More >>

Optimization and Learning: 8th International Conference, OLA 2025, Dubai, United Arab Emirates, April 23–25, 2025, Revised Selected Papers

Optimization and Learning: 8th International Conference,...
Author: Bernabe Dorronsoro , El-Ghazali Talbi ISBN: 9783032135889 Format: Paperback	$224.37
This book constitutes the refereed proceedings of the 8th International Conference on Optimization and Learning,... Read More >>

Algorithmic Aspects of Cloud Computing: 10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15–16, 2025, Revised Selected Papers

Algorithmic Aspects of Cloud Computing: 10th International...
Author: Domenico Garlisi , Dimitris Chatzopoulos ISBN: 9783032137432 Format: Paperback	$171.57
This volume, LNCS 16349, constitutes revised selected papers from the 10th International Symposium on Algorithmic... Read More >>

Quantum AI and NLP: First International Conference, QNLPAI 2025, Bloomington, IN, USA, August 6–9, 2025, Proceedings

Quantum AI and NLP: First International Conference,...
Author: Damir Cavar , Vaneet Aggarwal ISBN: 9783032138828 Format: Paperback	$316.77
This book constitutes the refereed proceedings of the First International Conference on Quantum AI and NLP, QNIP... Read More >>

Algorithmic Aspects in Information and Management: 19th International Conference, AAIM 2025, Ulaanbaatar, Mongolia, June 23–25, 2025, Proceedings

Algorithmic Aspects in Information and Management: 19th...
Author: Altannar Chinchuluun , Rentsen Enkhbat ISBN: 9789819556564 Format: Paperback	$448.77
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Aspects in Information... Read More >>

Page 1 of 445 1 2 3 4 5 6 7 8 9 10 ...

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