Mathematical theory of computation books

11192 books were found.

Differential Equations and Variational Methods on Graphs: With Applications to Machine Learning and Image Analysis

Differential Equations and Variational Methods on Graphs:...
Author: Yves van Gennip (Technische Universiteit Delft, The Netherlands) , Jeremy Budd (University of Birmingham) ISBN: 9781009556682 Format: Hardback	$194.06
A detailed overview of differential equations on graphs, suitable for researchers and graduate students in mathematical... Read More >>

Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday

Design and Verification of Cyber-Physical Systems: From...
Author: Andreas Rauh , Bernd Finkbeiner ISBN: 9783032168573 Format: Paperback	$181.10
Read More >>

Web and Internet Economics: 21st International Conference, WINE 2025, New Brunswick, NJ, USA, December 8–11, 2025, Proceedings

Web and Internet Economics: 21st International Conference,...
Author: Vittorio Bilò , Yang Cai ISBN: 9783032186591 Format: Paperback	$181.10
This book constitutes the refereed proceedings of the 21st International Conference on Web and Internet Economics,... Read More >>

Functional and Logic Programming: 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings

Functional and Logic Programming: 18th International...
Author: Michael Sperber , Ekaterina Komendantskaya ISBN: 9789819201839 Format: Paperback	$155.22
Read More >>

Pattern Languages of Programs, People and Practices: 30th European Conference, EuroPLoP 2025, Irsee, Germany, July 2–6, 2025, Revised Selected Papers, Part II

Pattern Languages of Programs, People and Practices:...
Author: Tsvetelina Plummer , Dennis Dubbert ISBN: 9783032191564 Format: Paperback	$168.16
The two-volume set LNCS 16493 + 16494 constitutes the revised selected papers of the 30th European Conference on... Read More >>

Pattern Languages of Programs, People and Practices: 30th European Conference, EuroPLoP 2025, Irsee, Germany, July 2–6, 2025, Revised Selected Papers, Part I

Pattern Languages of Programs, People and Practices:...
Author: Tsvetelina Plummer , Dennis Dubbert ISBN: 9783032191533 Format: Paperback	$284.60
Read More >>

Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit

Design Automation Tools and Software for Quantum Computing:...
Author: Lukas Burgholzer , Robert Wille ISBN: 9783032067692 Format: Hardback	$116.41
Read More >>

Contemporary Research in Mathematics from India

Contemporary Research in Mathematics from India
Author: Gadadhar Misra ISBN: 9789819561513 Format: Hardback	$336.35
Read More >>

Quantum Computing, Sensing and Communications for IoT

Quantum Computing, Sensing and Communications for IoT...
Author: Suyel Namasudra , Kemal Akkaya ISBN: 9789819562756 Format: Hardback	$413.97
This book presents fundamentals of quantum computing and Internet of Things (IoT). It covers many applications of... Read More >>

Applications of Evolutionary Computation: 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8–10, 2026, Proceedings, Part I

Applications of Evolutionary Computation: 29th European...
Author: Pablo García-Sánchez , Josefa Díaz Álvarez ISBN: 9783032236036 Format: Paperback	$237.57
This two-volume set constitutes the refereed proceedings of the 29th European Conference on Applications of Evolutionary... Read More >>

Multirate Signal Processing with Examples in Python

Multirate Signal Processing with Examples in Python...
Author: Gerald Schuller ISBN: 9783032172006 Format: Hardback	$206.97
This textbook provides a comprehensive understanding of multirate signal processing, focusing on practical applications... Read More >>

The Semantic Web: 23rd European Semantic Web Conference, ESWC 2026, Dubrovnik, Croatia, May 10–14, 2026, Proceedings, Part II

The Semantic Web: 23rd European Semantic Web Conference,...
Author: Maribel Acosta , Marieke van Erp ISBN: 9783032251589 Format: Paperback	$181.10
This two-volume set LNCS 16549 + 16550 constitutes the refereed proceedings of the 23rd European Semantic Web Conference,... Read More >>

The Semantic Web: 23rd European Semantic Web Conference, ESWC 2026, Dubrovnik, Croatia, May 10–14, 2026, Proceedings, Part I

The Semantic Web: 23rd European Semantic Web Conference,...
Author: Maribel Acosta , Marieke van Erp ISBN: 9783032251558 Format: Paperback	$237.57
This two-volume set LNCS 16549 + 16550 constitutes the refereed proceedings of the 23rd European Semantic Web Conference,... Read More >>

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings

Dependable Software Engineering. Theories, Tools, and...
Author: Amir Goharshady , Christoph Haase ISBN: 9789819578252 Format: Paperback	$168.16
Read More >>

Mathematics and Intelligent Systems in Industry: MISI'25 Conference, Safi, Morocco, July 9–10, 2025

Mathematics and Intelligent Systems in Industry: MISI'25...
Author: Ibtissam Medarhri , Raphael Couturier ISBN: 9783032170781 Format: Hardback	$465.72
This volume presents a peer-reviewed selection of papers from the MISI’25 conference, held on July 9–10, 2025, in... Read More >>

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production: 14th International Conference, HPCST 2024, Barnaul, Russia, May 17–18, 2024, Revised Selected Papers

High-Performance Computing Systems and Technologies...
Author: Vladimir Jordan , Ilya Tarasov ISBN: 9783032203243 Format: Paperback	$155.22
Read More >>

Vom Doppelspalt zum Quantencomputer: Die Grundkonzepte der Quantentheorie und ihre technische Nutzung verstehen

Vom Doppelspalt zum Quantencomputer: Die Grundkonzepte...
Author: Herbert M. Rubin ISBN: 9783662712061 Format: Paperback	$92.37
Anhand von vielen Beispielen und digitalen Materialien kann selbst experimentiert, visualisiert und Schritt für... Read More >>

Informatik-Bausteine: Eine komprimierte Einführung

Informatik-Bausteine: Eine komprimierte Einführung
Author: Walter Hower ISBN: 9783662719947 Format: Paperback	$65.97
Read More >>

Direction Finding Algorithms for Practicing Engineers: With C and MATLAB Code

Direction Finding Algorithms for Practicing Engineers:...
Author: Venkata Rangarao Kaluri ISBN: 9783032069962 Format: Hardback	$284.60
Direction-finding algorithms, once primarily associated with defense applications, are now gaining traction in the... Read More >>

Tools for High Performance Computing 2023: Proceedings of the 14th International Workshop on Parallel Tools for High Performance Computing

Tools for High Performance Computing 2023: Proceedings...
Author: Christoph Niethammer , Hartmut Mix ISBN: 9783032163967 Format: Hardback	$413.97
High Performance Computing (HPC) continues to play a pivotal role in numerical simulation, modeling, and data-driven... Read More >>

Search-Based Software Engineering: 17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, Proceedings

Search-Based Software Engineering: 17th International...
Author: Markus Wagner , Man Zhang ISBN: 9783032248381 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 17th International Symposium on Search-Based Software Engineering,... Read More >>

Integration of AI Theory and Applications in Diverse Industries

Integration of AI Theory and Applications in Diverse...
Author: Aditya Kumar Mishra , Yogesh Kumar Rathore ISBN: 9783032183217 Format: Hardback	$90.54
Read More >>

Applications of Evolutionary Computation: 29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8–10, 2026, Proceedings, Part II

Applications of Evolutionary Computation: 29th European...
Author: Pablo García-Sánchez , Josefa Díaz Álvarez ISBN: 9783032236067 Format: Paperback	$181.10
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	$116.41
The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has... Read More >>

Spectral Networks: Bridging Higher-rank Teichmüller Theory and BPS States

Spectral Networks: Bridging Higher-rank Teichmüller...
Author: Clarence Kineider , Georgios Kydonakis ISBN: 9783032092182 Format: Paperback	$181.10
Read More >>

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