Mathematical theory of computation books

11092 books were found.

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

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: 9780192868442 Format: Paperback	$94.95
This textbook provides a compelling, comprehensive, and up-to-date course on quantum computing. The underlying physics... 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
This textbook provides a compelling, comprehensive, and up-to-date course on quantum computing. The underlying physics... 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 >>

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
This book constitutes the proceedings of the 19th Annual Conference on Theory and Applications of Models of Computation,... 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 >>

Topological Data Analysis for Neural Networks

Topological Data Analysis for Neural Networks
Author: Rubén Ballester , Carles Casacuberta ISBN: 9783032082824 Format: Paperback	$145.17
This book offers a comprehensive presentation of methods from topological data analysis applied to the study of... 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 >>

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

Quantenalgorithmen: Eine Einführung

Quantenalgorithmen: Eine Einführung
Author: Johannes A. Buchmann ISBN: 9783662711767 Format: Paperback	$92.37
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
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
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
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
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
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
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
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 >>

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

From Bits to Qubits: The Quantum Transformation of Computing: The Power of Quantum Computing

From Bits to Qubits: The Quantum Transformation of Computing:...
Author: Shruti Sharma , Ashutosh Sharma ISBN: 9783032005854 Format: Hardback	$580.77
Read More >>

Quantum Ops: Bridging Quantum Computing and IT Operations

Quantum Ops: Bridging Quantum Computing and IT Operations...
Author: Milankumar Rana , Bishwajeet Pandey ISBN: 9783032107749 Format: Hardback	$527.97
This book provides a thorough guide to Quantum Operations that closes the gap between quantum computing theory and... 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