Mathematical theory of computation books

11043 books were found.

Progress in Cryptology – INDOCRYPT 2025: 26th International Conference on Cryptology in India, Bhubaneshwar, India, December 14–17, 2025, Proceedings

Progress in Cryptology – INDOCRYPT 2025: 26th International...
Author: Ratna Dutta , Luca De Feo ISBN: 9783032133007 Format: Paperback	$197.97
This book constitutes the refereed proceedings of the 26th International Conference on Cryptology in India, held... Read More >>

Quantum Technologies: Trends and Implications for Cyber Defense

Quantum Technologies: Trends and Implications for Cyber...
Author: Julian Jang-Jaccard , Philippe Caroff ISBN: 9783031907265 Format: Hardback	$116.41
This open access book invites readers to explore the emerging opportunities and strategic significance of quantum... Read More >>

Artificial Intelligence Research: 6th Southern African Conference, SACAIR 2025, Cape Town, South Africa, December 1–5, 2025, Proceedings

Artificial Intelligence Research: 6th Southern African...
Author: Aurona Gerber , Anban W. Pillay ISBN: 9783032117328 Format: Paperback	$263.97
This book constitutes the refereed proceedings of the 6th Southern African Conference on Artificial Intelligence... Read More >>

Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

Formal Methods: Foundations and Applications: 28th Brazilian...
Author: Maurice H. ter Beek , Leopoldo Teixeira ISBN: 9783032120854 Format: Paperback	$171.57
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and... Read More >>

Network-System Research and Distributed Composite Algorithm Design

Network-System Research and Distributed Composite Algorithm...
Author: Huaqing Li , Qingguo Lü ISBN: 9789819509102 Format: Hardback	$527.97
Read More >>

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings

Theoretical Aspects of Computing – ICTAC 2025: 22nd...
Author: Zhiming Liu , Adnane Saoud ISBN: 9783032111753 Format: Paperback	$211.17
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC... Read More >>

Emerging Technologies in Computational Sciences for Industry, Sustainability and Innovation: Math to Product

Emerging Technologies in Computational Sciences for...
Author: Matteo Giacomini , Simona Perotto ISBN: 9783031957086 Format: Hardback	$659.97
This book presents up-to-date state of the art for industrial mathematics and covers emerging topics in computational... Read More >>

Learning and Reasoning: 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20–22, 2024, Proceedings

Learning and Reasoning: 4th International Joint Conference...
Author: Wang-Zhou Dai ISBN: 9783032090867 Format: Paperback	$343.17
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024,... Read More >>

Quantum Computing for Programmers

Quantum Computing for Programmers
Author: Robert Hundt (Google) ISBN: 9781009548533 Format: Hardback	$160.43
Read More >>

Algorithmics of Wireless Networks: 21st International Symposium, ALGOWIN 2025, Warsaw, Poland, September 18–19, 2025, Proceedings

Algorithmics of Wireless Networks: 21st International...
Author: Othon Michail , Giuseppe Prencipe ISBN: 9783032091192 Format: Paperback	$145.17
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 >>

Choquet Capacities and Fuzzy Integrals

Choquet Capacities and Fuzzy Integrals
Author: Gleb Beliakov , Simon James ISBN: 9783031970696 Format: Hardback	$237.57
Read More >>

Quantum Computing from Hopfield Nets: A Textbook with Python Code Examples

Quantum Computing from Hopfield Nets: A Textbook with...
Author: Christian Bauckhage , Rafet Sifa ISBN: 9783031994012 Format: Hardback	$158.37
Read More >>

Methods and Applications for Modeling and Simulation of Complex Systems: 24th Asia Simulation Conference, AsiaSim 2025, Singapore, Singapore, November 17–19, 2025, Proceedings

Methods and Applications for Modeling and Simulation...
Author: Wentong Cai , Malcolm Low ISBN: 9789819544714 Format: Paperback	$263.97
This book constitutes the refereed proceedings of the 24th Asia Simulation Conference on Methods and Applications... 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 >>

Quantum Computing for Engineers

Quantum Computing for Engineers
Author: Osama M. Raisuddin , Suvranu De ISBN: 9783032033246 Format: Hardback	$290.37
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 >>

Recursion Across Languages: The Intricacies of Babel

Recursion Across Languages: The Intricacies of Babel...
Author: Adina Camelia Bleotu , Deborah Foucault ISBN: 9783032035721 Format: Hardback	$448.77
Bridging theory and experiment, it highlights two forms of recursion: direct recursion, which merges items directly,... Read More >>

Neural Computing for Advanced Applications: 6th International Conference, NCAA 2025, Hong Kong, China, July 4–6, 2025, Proceedings, Part I

Neural Computing for Advanced Applications: 6th International...
Author: Haijun Zhang , Kim Fung Tsang ISBN: 9789819537358 Format: Paperback	$263.97
This two-volume set CCIS 2664 and 2665 constitutes the refereed proceedings of the 6th International Conference... Read More >>

History of Artificial Intelligence: From the Mathematics of Ancient Civilizations to Thinking Machines

History of Artificial Intelligence: From the Mathematics...
Author: Abbas Tcharkhtchi , Hamid Reza Vanaei ISBN: 9781041011996 Format: Hardback	$336.00
This book provides an overview of AI’s historical development, while understanding the cultural and scientific foundations... Read More >>

First-Order Schemata and Inductive Proof Analysis

First-Order Schemata and Inductive Proof Analysis
Author: Alexander Leitsch , David Michael Cerna ISBN: 9783032057402 Format: Hardback	$475.17
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive... 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 >>

TinyML for Agriculture: On-Device AI for Precision Farming

TinyML for Agriculture: On-Device AI for Precision Farming...
Author: Devon Code ISBN: 9798278626589 Format: Paperback	$65.97
Can AI really function on a farm without reliable internet, steady power, or expensive equipment? TinyML for Agriculture:... Read More >>

Llama 3 in Production: Deploying Open-Source LLMs on Private Infrastructure

Llama 3 in Production: Deploying Open-Source LLMs on...
Author: Devon Code ISBN: 9798278568483 Format: Paperback	$79.17
What if your most sensitive customer data could fuel a powerful AI assistant without ever leaving your secure servers?... Read More >>

Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

Formal Methods and Software Engineering: 26th International...
Author: Étienne André , Jingyi Wang ISBN: 9789819542123 Format: Paperback	$211.17
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and... Read More >>

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