Mathematical theory of computation books

11093 books were found.

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
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and... 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
This book constitutes the refereed proceedings of the 28th International Symposium on Practical Aspects of Declarative... 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
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular... 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 >>

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

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

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
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
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
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
Read More >>

BIM Geometry with Julia Plasm—Functional Language for CAD Programming: Volume 1: Mathematics and Software Engineering

BIM Geometry with Julia Plasm—Functional Language for...
Author: Alberto Paoluzzi , Giorgio Scorzelli ISBN: 9783031902437 Format: Hardback	$142.29
This book provides computational methods, tools, algorithms, code scriptlets, and examples for symbolically generating... Read More >>

Computer Vision: Cognitive Models for Visual Commonsense

Computer Vision: Cognitive Models for Visual Commonsense...
Author: Yixin Zhu , Song-Chun Zhu ISBN: 9783031981067 Format: Hardback	$206.97
Read More >>

Page 1 of 444 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