Mathematical theory of computation books

11154 books were found.

Evolutionary Computation in Combinatorial Optimization: 26th European Conference, EvoCOP 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8–10, 2026, Proceedings

Evolutionary Computation in Combinatorial Optimization:...
Author: Martin S. Krejca , Nelishia Pillay ISBN: 9783032205360 Format: Paperback	$171.57
Read More >>

Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday

Juggling Formal Methods and Security: Essays Dedicated...
Author: Barbara Fila , Hugo Jonker ISBN: 9783032206831 Format: Paperback	$290.37
This Festschrift is dedicated to Professor Sjouke Mauw on the occasion of his 65th birthday. Prof. Mauw obtained... Read More >>

Mathematics in Cybersecurity

Mathematics in Cybersecurity
Author: Alfred Basta (North Greenville University, SC, USA; ISACA; ECE; Mathematical Association of America) , Stephan Delong (Tidewater Community College, VA, USA) ISBN: 9781394304769 Format: Hardback	$198.95
Balanced, in-depth exploration of mathematics in cybersecurity, supported by case studies and other learning features... Read More >>

The Irrational Decision: How We Gave Computers the Power to Choose for Us

The Irrational Decision: How We Gave Computers the Power...
Author: Benjamin Recht ISBN: 9780691272443 Format: Hardback	$54.99
How the computer revolution shaped our conception of rationality-and why human problems require solutions rooted... Read More >>

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

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

Artificial Psychology: Learning from the Unexpected Capabilities of Large Language Models

Artificial Psychology: Learning from the Unexpected...
Author: Clayton Lewis ISBN: 9783031766480 Format: Paperback	$118.77
Read More >>

Essentials of Reliability Engineering: Fundamentals and Applications

Essentials of Reliability Engineering: Fundamentals...
Author: Fuqing Yuan ISBN: 9783032155436 Format: Hardback	$290.37
This book focuses on the most salient and practical concepts and methods in reliability engineering. As a multidisciplinary... Read More >>

Advances in Computational Intelligence. MICAI 2025 International Workshops: HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3–7, 2025, Proceedings, Part II

Advances in Computational Intelligence. MICAI 2025 International...
Author: Lourdes Martínez-Villaseñor , Roberto A. Vázquez ISBN: 9783032179326 Format: Paperback	$211.17
This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International... Read More >>

Risk Measures: An Introduction to the Mathematical Theory

Risk Measures: An Introduction to the Mathematical Theory...
Author: Ilya Molchanov (Universität Bern, Switzerland) , Johanna Ziegel (ETH Zürich) ISBN: 9781009710930 Format: Paperback	$77.63
Read More >>

Variable Neighborhood Search: 11th International Conference, ICVNS 2025, Montreal, QC, Canada, May 12–14, 2025, Revised Selected Papers

Variable Neighborhood Search: 11th International Conference,...
Author: Sergio Cavero , Eduardo G. Pardo ISBN: 9783032195814 Format: Paperback	$145.17
This volume constitutes the proceedings of the 11th International Conference on Variable Neighborhood Search, ICVNS... Read More >>

Risk Measures: An Introduction to the Mathematical Theory

Risk Measures: An Introduction to the Mathematical Theory...
Author: Ilya Molchanov (Universität Bern, Switzerland) , Johanna Ziegel (ETH Zürich) ISBN: 9781009710961 Format: Hardback	$207.00
Read More >>

Software Fault Prevention, Verification, and Validation: Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Software Fault Prevention, Verification, and Validation:...
Author: Yuting Chen , Hiroyuki Okamura ISBN: 9789819560318 Format: Paperback	$197.97
Read More >>

An Introduction to Silent Secure Computation

An Introduction to Silent Secure Computation
Author: Geoffroy Couteau ISBN: 9783032070883 Format: Paperback	$145.17
Secure computation allows any number of mutually distrustful parties to jointly run an arbitrary computation on... Read More >>

Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem

Concise Introduction to Alternating-Time Temporal Logics:...
Author: Stéphane Demri ISBN: 9783032118844 Format: Hardback	$145.17
The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has... Read More >>

Advances in Multidisciplinary Analysis and Optimization: Select Proceedings of the First International and 7th National Conference on Multidisciplinary Design, Analysis and Optimization (iNCMDAO 2024)

Advances in Multidisciplinary Analysis and Optimization:...
Author: Palaniappan Ramu , Vinay Ramanath ISBN: 9789819517220 Format: Paperback	$659.97
Read More >>

Logic, Language, and Computation: 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers

Logic, Language, and Computation: 14th International...
Author: Lotte Hogeweg , Raheleh Jalali ISBN: 9783032143389 Format: Paperback	$369.57
Read More >>

Quantum Computing and Artificial Intelligence: Second International Workshop, QC+AI 2026, Singapore, January 27, 2026, Proceedings

Quantum Computing and Artificial Intelligence: Second...
Author: Shaukat Ali , Francisco Chicano ISBN: 9783032176240 Format: Paperback	$171.57
This book constitutes the proceedings of the Second International Workshop on Quantum Computing and Artificial Intelligence,... Read More >>

Body Area Networks: 19th EAI International Conference, BODYNETS 2024, Varanasi, India, December 15–16, 2024, Proceedings, Part I

Body Area Networks: 19th EAI International Conference,...
Author: Atul Kumar , Shivam Verma ISBN: 9783032160980 Format: Paperback	$224.37
This two-volume set LNICST 666-667 constitutes the refereed proceedings of the19th EAI International Conference... Read More >>

Mathematics for Artificial Intelligence

Mathematics for Artificial Intelligence
Author: Jane Hawkins ISBN: 9781041161974 Format: Paperback	$137.11
This book provides the basic mathematics needed to understand AI and ML. It serves both students of mathematics... Read More >>

Banach Space Aspects of Frame Theory with Applications

Banach Space Aspects of Frame Theory with Applications...
Author: Deguang Han , Qianfeng Hu ISBN: 9783032101730 Format: Hardback	$118.77
Read More >>

Mathematics for Artificial Intelligence

Mathematics for Artificial Intelligence
Author: Jane Hawkins ISBN: 9781041161981 Format: Hardback	$250.96
This book provides the basic mathematics needed to understand AI and ML. It serves both students of mathematics... Read More >>

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVIII: International Workshop, COINE 2025, Detroit, MI, USA, May 20, 2025, Revised Selected Papers

Coordination, Organizations, Institutions, Norms, and...
Author: Sz-Ting Tzeng , Davide Dell’Anna ISBN: 9783032175410 Format: Paperback	$145.17
This volume constitutes the revised selected papers of the 29th International Workshop on Coordination, Organizations,... Read More >>

Computer Performance Engineering: 21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected Papers

Computer Performance Engineering: 21st European Workshop...
Author: Laura Carnevali , Josu Doncel ISBN: 9783032163448 Format: Paperback	$145.17
This book constitutes the revised selected papers of the 21st European Workshop on Computer Performance Engineering,... Read More >>

WALCOM: Algorithms and Computation: 20th International Conference and Workshops on Algorithms and Computation, WALCOM 2026, Perugia, Italy, March 4–6, 2026, Proceedings

WALCOM: Algorithms and Computation: 20th International...
Author: Emilio Di Giacomo , Debajyoti Mondal ISBN: 9789819571260 Format: Paperback	$211.17
This book LNCS constitutes the refereed proceedings of the 20th International Conference and Workshops on Algorithms... Read More >>

Engineering Multi-Agent Systems: 13th International Workshop, EMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Engineering Multi-Agent Systems: 13th International...
Author: Sebastian Rodriguez , Lu Feng ISBN: 9783032180100 Format: Paperback	$171.57
This book constitutes revised selected papers from the 13th International Workshop on Engineering Multi-Agent Systems,... Read More >>

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