Mathematical theory of computation books

11111 books were found.

Computable Structure Theory: A Unified Approach

Computable Structure Theory: A Unified Approach

Author: Rodney G. Downey ,  Alexander Melnikov
ISBN: 9783031924323
Format: Hardback
$369.57

This is the first book which gives a unified theory for countable and uncountable computable structures. The work...  Read More >>

Programming Language Design and Implementation

Programming Language Design and Implementation

Author: Torben Ægidius Mogensen
ISBN: 9783031932984
Format: Hardback
$224.37

This concise textbook is intended as a guide for programming-language designers and users to better help them understand...  Read More >>

Choquet Capacities and Fuzzy Integrals

Choquet Capacities and Fuzzy Integrals

Author: Gleb Beliakov ,  Simon James
ISBN: 9783031970696
Format: Hardback
$237.57

mso-bidi-font-family: Symbol;"">· Various simplification assumptions, from k-additive, p-symmetric and  Read More >>

Distributed Information and Computation in Generic Quantum Systems

Distributed Information and Computation in Generic Quantum...

Author: Chris Fields ,  James Glazebrook
ISBN: 9783031972621
Format: Hardback
$171.57

This book discusses an integrative approach to the currently high profile topics of artificial intelligence, quantum...  Read More >>

Designing the Information Systems Artefact: Typology, Architecture, Abstraction, Collaborative Evolution and Design Patterns

Designing the Information Systems Artefact: Typology,...

Author: Robert Winter
ISBN: 9783031983108
Format: Hardback
$184.77

As a foundation for understanding and categorizing DSR artifacts, it proposes a more differentiated, empirically...  Read More >>

Quantum Computing and Quantum Machine Learning for Engineers and Developers

Quantum Computing and Quantum Machine Learning for Engineers...

Author: Jesse Van Griensven Thé ,  Roydon Andrew Fraser
ISBN: 9783031982446
Format: Hardback
$155.22

This book guides readers from the foundations of quantum mechanics through advanced quantum algorithms (such as...  Read More >>

Causal Discovery: Foundations, Algorithms and Applications

Causal Discovery: Foundations, Algorithms and Applications...

Author: Luis Enrique Sucar
ISBN: 9783031983443
Format: Hardback
$263.97

This book presents an overview of causal discovery, an emergent field with important developments in the last few...  Read More >>

Quantum Mechanics: A Concise Textbook with Emphasis on Exact Method

Quantum Mechanics: A Concise Textbook with Emphasis...

Author: Sergio Cecotti
ISBN: 9783031988233
Format: Hardback
$181.10

This advanced introductory textbook offers a comprehensive approach to non-relativistic Quantum Mechanics, focusing...  Read More >>

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About...

Author: Wolfgang Schreiner
ISBN: 9783031997044
Format: Hardback
$211.17

This book describes some basic principles that allow developers of computer programs (computer scientists, software...  Read More >>

Quantum Machine Learning in Industrial Automation

Quantum Machine Learning in Industrial Automation

Author: Anupam Ghosh ,  Soumi Dutta
ISBN: 9783031997853
Format: Hardback
$580.77

This book focuses on quantum machine learning that harnesses the collective properties of quantum states, such as...  Read More >>

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

Author: Frank Nielsen ,  Frédéric Barbaresco
ISBN: 9783032039200
Format: Paperback
$211.17

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric...  Read More >>

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

Author: Frank Nielsen ,  Frédéric Barbaresco
ISBN: 9783032039231
Format: Paperback
$211.17

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric...  Read More >>

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

Author: Frank Nielsen ,  Frédéric Barbaresco
ISBN: 9783032039170
Format: Paperback
$237.57

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric...  Read More >>

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

Frontiers of Combining Systems: 15th International Symposium,...

Author: René Thiemann ,  Christoph Weidenbach
ISBN: 9783032041661
Format: Paperback
$131.97

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining...  Read More >>

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

Model-Based Safety and Assessment: 9th International...

Author: Panagiotis Katsaros
ISBN: 9783032050724
Format: Paperback
$171.57

 Read More >>

Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

Bridging the Gap Between AI and Reality: Second International...

Author: Bernhard Steffen
ISBN: 9783032013767
Format: Paperback
$131.97

This open access book constitutes revised selected papers from the Second International Conference on Bridging the...  Read More >>

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems: 7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Explainable, Trustworthy, and Responsible AI and Multi-Agent...

Author: Davide Calvaresi ,  Amro Najjar
ISBN: 9783032013989
Format: Paperback
$171.57

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable...  Read More >>

Green, Pervasive, and Cloud Computing: 19th International Conference, GPC 2024, Macao, China, September 27–30, 2024, Proceedings

Green, Pervasive, and Cloud Computing: 19th International...

Author: Xiaobo Zhou ,  Chen Yu
ISBN: 9789819513451
Format: Paperback
$369.57

This book, LNCS 15225, constitutes the refereed proceedings of the 19th International Conference on Green, Pervasive,...  Read More >>

Advances in Swarm Intelligence: 16th International Conference on Swarm Intelligence, ICSI 2025, Yokohama, Japan, July 11–15, 2025, Proceedings, Part II

Advances in Swarm Intelligence: 16th International Conference...

Author: Ying Tan ,  Yuhui Shi
ISBN: 9789819509843
Format: Paperback
$237.57

This two-volume set LNCS 16011 and 16012 constitutes the refereed post-conference proceedings of the 16th International...  Read More >>

Advances in Swarm Intelligence: 16th International Conference on Swarm Intelligence, ICSI 2025, Yokohama, Japan, July 11–15, 2025, Proceedings, Part I

Advances in Swarm Intelligence: 16th International Conference...

Author: Ying Tan ,  Yuhui Shi
ISBN: 9789819509812
Format: Paperback
$237.57

This two-volume set LNCS 16011 and 16012 constitutes the refereed post-conference proceedings of the 16th International...  Read More >>

Discrete and Computational Geometry, Graphs, and Games: 24th Japanese Conference, JCDCGGG 2022, Virtual Event, September 9–11, 2022, Revised Selected Papers

Discrete and Computational Geometry, Graphs, and Games:...

Author: Jin Akiyama ,  Hiro Ito
ISBN: 9783032002808
Format: Paperback
$263.97

 Read More >>

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

Formal Methods for Industrial Critical Systems: 30th...

Author: Anne Remke ,  Bernhard Steffen
ISBN: 9783032009418
Format: Paperback
$171.57

 Read More >>

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

Advances in Neural Networks – ISNN 2025: 19th International...

Author: Long Jin ,  Lidan Wang
ISBN: 9789819512324
Format: Paperback
$369.57

This volume constitutes the refereed proceedings of the 19th International Symposium on Neural Networks, ISNN 2025,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List