Mathematical theory of computation books

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

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

Essentials of Reliability Engineering: Fundamentals and Applications

Essentials of Reliability Engineering: Fundamentals...
Author: Fuqing Yuan ISBN: 9783032155436 Format: Hardback	$290.37
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
This text provides a rigorous but accessible introduction to the mathematical theory of risk measures, an indispensable... Read More >>

Formal Methods, Informally: How to Write Programs That Work

Formal Methods, Informally: How to Write Programs That...
Author: Carroll Morgan (University of New South Wales, Sydney) ISBN: 9781009421027 Format: Paperback	$103.50
Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook.... 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
This text provides a rigorous but accessible introduction to the mathematical theory of risk measures, an indispensable... 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
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention,... Read More >>

Formal Methods, Informally: How to Write Programs That Work

Formal Methods, Informally: How to Write Programs That...
Author: Carroll Morgan (University of New South Wales, Sydney) ISBN: 9781009420990 Format: Hardback	$232.88
Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook.... 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 >>

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

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

Data Science and Machine Learning: 23rd Australasian Conference, AusDM 2025, Brisbane, QLD, Australia, November 26–28, 2025, Proceedings

Data Science and Machine Learning: 23rd Australasian...
Author: Quang Vinh Nguyen , Yuefeng Li ISBN: 9789819567850 Format: Paperback	$224.37
This book constitutes the proceedings of the 23rd Australasian Conference on Data Science and Machine Learning,... Read More >>

Algorithms and Discrete Applied Mathematics: 12th International Conference, CALDAM 2026, Dharwad, India, February 12–14, 2026, Proceedings

Algorithms and Discrete Applied Mathematics: 12th International...
Author: Neeldhara Misra , Arti Pandey ISBN: 9783032171559 Format: Paperback	$197.97
This book constitutes the refereed proceedings of the 12th International Conference on Algorithms and Discrete Applied... Read More >>

SOFSEM 2026: Theory and Practice of Computer Science: 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, Kraków, Poland, February 9–13, 2026, Proceedings

SOFSEM 2026: Theory and Practice of Computer Science:...
Author: Jakub Kozik , Alexander Wolff ISBN: 9783032178008 Format: Paperback	$290.37
This book constitutes the proceedings of the 51st International Conference on Current Trends in Theory and Practice... Read More >>

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof Assistants and Their Applications in Mathematics...
Author: Jasmin Blanchette , Assia Mahboubi ISBN: 9783031851896 Format: Hardback	$168.16
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making... Read More >>

Guide to Using Generative AI in Programming

Guide to Using Generative AI in Programming
Author: Antti Laaksonen ISBN: 9783032074522 Format: Paperback	$103.47
Read More >>

Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Journeys Between Formal Methods and the Railway Industry:...
Author: Maurice H. ter Beek , Stefania Gnesi ISBN: 9783032124838 Format: Paperback	$290.37
Read More >>

Quantum Arithmetic: Unlocking the Future of Computing

Quantum Arithmetic: Unlocking the Future of Computing...
Author: Siyi Wang , Anupam Chattopadhyay ISBN: 9789819560387 Format: Hardback	$369.57
This book bridges the gap between classical arithmetic circuit design and its quantum computing counterparts. It... 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 >>

The Spectrum of Computer Science: Emerging Technologies and Trends

The Spectrum of Computer Science: Emerging Technologies...
Author: Tanvir Habib Sardar ISBN: 9783032196316 Format: Hardback	$527.97
This book explores the foundational principles and emerging advancements shaping modern computing, bridging theory... Read More >>

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