Mathematical theory of computation books

11087 books were found.

Quantum Engineering Sciences and Technologies for Industry and Services: First International Conference, QUEST-IS 2025, Paris, France, December 1–4, 2025, Proceedings, Part II

Quantum Engineering Sciences and Technologies for Industry...
Author: Frédéric Barbaresco , François Gerin ISBN: 9783032138545 Format: Paperback	$224.37
This two-volume set CCIS 2743 and 2744 constitutes the refereed proceedings of the 1st International Conference... Read More >>

Quantum Minds: Exploring Quantum Computing and AI Synergy: From Qubits to Neural Nets–A Journey into Intelligent Computation

Quantum Minds: Exploring Quantum Computing and AI Synergy:...
Author: Madhusudan Singh , Bharat S. Rawal ISBN: 9789819524976 Format: Hardback	$129.35
This book serves as an accessible yet in-depth introduction to this cutting-edge intersection, where quantum theory... Read More >>

Computational Aspects of Social Networks

Computational Aspects of Social Networks
Author: Weili Wu , Zhao Zhang ISBN: 9783032148322 Format: Hardback	$142.29
This book offers a comprehensive exploration of computational social networks, focusing on the algorithmic and optimization... Read More >>

Unconventional Computation and Natural Computation: 22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings

Unconventional Computation and Natural Computation:...
Author: Enrico Formenti , Luca Manzoni ISBN: 9783032156402 Format: Paperback	$197.97
Read More >>

First Course in Algorithms Through Puzzles

First Course in Algorithms Through Puzzles
Author: Ryuhei Uehara ISBN: 9789819680962 Format: Hardback	$142.29
These detailed solutions will enable readers to follow the author’s steps to solve problems and to gain a better... Read More >>

Progress in Ultrafast Intense Laser Science XVIII

Progress in Ultrafast Intense Laser Science XVIII
Author: Kaoru Yamanouchi , Crina Cojocaru ISBN: 9783032092946 Format: Hardback	$369.57
This book delivers up-to-date reviews of progress in ultrafast intense laser science, an expanding interdisciplinary... Read More >>

Quantum Computation: 4th CCF Quantum Computation Conference, CQCC 2025, Chengdu, China, July 21–23, 2025, Proceedings

Quantum Computation: 4th CCF Quantum Computation Conference,...
Author: Xiaoyu Li , Junjie Wu ISBN: 9789819547906 Format: Paperback	$263.97
This CCIS 2733 project constitutes the refereed post-conference proceedings of the 4th CCF Quantum Computation Conference,... Read More >>

Quantum Systems at the Nanoscale: Fundamentals, Characterization, Properties, and Emerging Applications

Quantum Systems at the Nanoscale: Fundamentals, Characterization,...
Author: Radouane En-nadir ISBN: 9783032066442 Format: Hardback	$422.37
This book addresses one of the most compelling frontiers of contemporary science: the behavior of quantum systems... 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 >>

Digitalisation and Artificial Intelligence Using Mathematical and Computational Approaches: FAI-DAIRBM 2024, Baku, Azerbaijan, April 18–20

Digitalisation and Artificial Intelligence Using Mathematical...
Author: Pankaj Srivastava , Nina Poyda-Nosyk ISBN: 9789819535958 Format: Hardback	$659.97
This book is a collection of selected papers presented at the 28th FAI International Conference on Digitalisation... 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 >>

Architectures and Circuits for Distributed Quantum Computing

Architectures and Circuits for Distributed Quantum Computing...
Author: Daniele Cuomo ISBN: 9783031738104 Format: Paperback	$527.97
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 Algorithms for Optimizers: From Core Principles to AI Applications

Quantum Algorithms for Optimizers: From Core Principles...
Author: Giacomo Nannicini ISBN: 9781611978759 Format: Paperback	$183.00
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 >>

Mathematical Modeling and Supercomputer Technologies: 25th International Conference, MMST 2025, Nizhny Novgorod, Russia, November 17–19, 2025, Revised Selected Papers

Mathematical Modeling and Supercomputer Technologies:...
Author: Dmitry Balandin , Konstantin Barkalov ISBN: 9783032157607 Format: Paperback	$211.17
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 >>

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