Mathematical theory of computation books

11108 books were found.

Rigorous Software Development: An Introduction to Program Verification

Rigorous Software Development: An Introduction to Program...
Author: José Bacelar Almeida ,  Maria João Frade
ISBN: 9781447175575
Format: Paperback 		$316.77

This revised and expanded second edition incorporates recent advances in formal methods and program verification,...  Read More >>

Pre-Order
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic

Limits of Mathematics: A Journey Through the Key Areas...
Author: Dirk W. Hoffmann
ISBN: 9783662709986
Format: Paperback 		$116.41

The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory,...  Read More >>

Pre-Order
Bio-Inspired Computing: Theories and Applications: 19th International Conference, BIC-TA 2024, Suzhou, China, December 20–22, 2024, Revised Selected Papers, Part II

Bio-Inspired Computing: Theories and Applications: 19th...
Author: Linqiang Pan ,  Tingfang Wu
ISBN: 9789819695843
Format: Paperback 		$263.97

The two-volume set CCIS 2530 and 2531 constitutes the refereed post-conference proceedings of the 19th International...  Read More >>

Pre-Order
New Frontiers in Data Science: 4th Southwest Data Science Conference, SDSC 2025, Waco, TX, USA, March 21–22, 2025, Revised Selected Papers

New Frontiers in Data Science: 4th Southwest Data Science...
Author: Henry Han ,  James Stamey
ISBN: 9783031998782
Format: Paperback 		$211.17

This book constitutes the refereed proceedings of the 4th Southwest Data Science Conference on New Frontiers in...  Read More >>

Pre-Order
Kryptographie

Kryptographie
Author: Jürgen Fuß ,  Anna Vymazal
ISBN: 9783662708446
Format: Paperback 		$118.77

Dieses Lehrbuch präsentiert umfassend die Grundlagen der Kryptographie, beginnend mit symmetrischen Verfahren zur...  Read More >>

Pre-Order
Diskrete Mathematik für Algorithmen: Eine Schritt-für-Schritt-Einführung mit Python

Diskrete Mathematik für Algorithmen: Eine Schritt-für-Schritt-Einführung...
Author: Paolo Vanini
ISBN: 9783662710944
Format: Paperback 		$131.97

 Read More >>

Pre-Order
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2024 Collocated...
Author: José Proença ,  Raul Fervari
ISBN: 9783031947476
Format: Paperback 		$211.17

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop...  Read More >>

Pre-Order
Secure Communications in Unmanned Aerial Vehicle-Enabled Mobile Edge Computing Systems

Secure Communications in Unmanned Aerial Vehicle-Enabled...
Author: Weidang Lu ,  Yu Ding
ISBN: 9789819696109
Format: Paperback 		$145.17

However, the openness and broadcast nature of UAV communications make them highly susceptible to security threats.The...  Read More >>

Pre-Order
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday

Components Operationally: Reversibility and System Engineering:...
Author: Claudio Antares Mezzina ,  Alan Schmitt
ISBN: 9783031997167
Format: Paperback 		$171.57

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software...  Read More >>

Pre-Order
Cellular Automata and Discrete Complex Systems: 31st IFIP WG 1.5 International Workshop, AUTOMATA 2025, Lille, France, June 30 – July 2, 2025, Proceedings

Cellular Automata and Discrete Complex Systems: 31st...
Author: Sara Riva ,  Adrien Richard
ISBN: 9783032015693
Format: Paperback 		$316.77

 Read More >>

Pre-Order
KI 2025: Advances in Artificial Intelligence: 48th German Conference on AI, Potsdam, Germany, September 16–19, 2025, Proceedings

KI 2025: Advances in Artificial Intelligence: 48th German...
Author: Tanya Braun ,  Benjamin Paaßen
ISBN: 9783032028129
Format: Paperback 		$197.97

 Read More >>

Pre-Order
The Computer Security Workbook: A Course Companion Resource

The Computer Security Workbook: A Course Companion Resource...
Author: Juan Tapiador
ISBN: 9783031881411
Format: Paperback 		$116.41

 Read More >>

Add to Cart
Rechnen mit gigantischen Zahlen: Wenn Computer mit Plus und Mal an ihre Grenzen stoßen

Rechnen mit gigantischen Zahlen: Wenn Computer mit Plus...
Author: Manuel Kauers
ISBN: 9783662712153
Format: Paperback 		$65.97

Es handelt sich dabei um mathematische Konzepte, die in der breiten Öffentlichkeit weitgehend unbekannt sind, und...  Read More >>

Pre-Order
Conductors, Semiconductors, Superconductors: An Introduction to Solid-State Physics

Conductors, Semiconductors, Superconductors: An Introduction...
Author: Rudolf P. Huebener
ISBN: 9783031936654
Format: Paperback 		$155.22

This compact undergraduate textbook provides a concise yet thorough introduction to the fundamentals of solid-state...  Read More >>

Pre-Order
Engineering Safe and Trustworthy Cyber Physical Systems: Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday

Engineering Safe and Trustworthy Cyber Physical Systems:...
Author: Martin Fränzle ,  Jürgen Niehaus
ISBN: 9783031975363
Format: Paperback 		$197.97

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems....  Read More >>

Pre-Order
Bio-Inspired Computing: Theories and Applications: 19th International Conference, BIC-TA 2024, Suzhou, China, December 20–22, 2024, Revised Selected Papers, Part I

Bio-Inspired Computing: Theories and Applications: 19th...
Author: Linqiang Pan ,  Tingfang Wu
ISBN: 9789819695812
Format: Paperback 		$263.97

The two-volume set CCIS 2530 and 2531 constitutes the refereed post-conference proceedings of the 19th International...  Read More >>

Pre-Order
Informatik-Bausteine: Eine komprimierte Einführung

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

 Read More >>

Pre-Order
Developments in Language Theory: 29th International Conference, DLT 2025, Seoul, South Korea, August 19–22, 2025, Proceedings

Developments in Language Theory: 29th International...
Author: Sang-Ki Ko ,  Florin Manea
ISBN: 9783032014740
Format: Paperback 		$369.57

This LNCS conference volume constitutes the proceedings of the29th International Conference on Developments in Language...  Read More >>

Pre-Order
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP...
Author: Martin Törngren ,  Barbara Gallina
ISBN: 9783032020178
Format: Paperback 		$211.17

This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference...  Read More >>

Pre-Order
Implementation and Application of Automata: 29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings

Implementation and Application of Automata: 29th International...
Author: Giuseppa Castiglione ,  Sabrina Mantaci
ISBN: 9783032026019
Format: Paperback 		$197.97

 Read More >>

Pre-Order
Mathematical Methods for Destabilizing Terrorist Activities: Methods and Practical Algorithms for Analysis and Visualization

Mathematical Methods for Destabilizing Terrorist Activities:...
Author: Nasrullah Memon ,  Uffe Kock Wiil
ISBN: 9783211994405
Format: Hardback 		$261.36

This work shows how mathematics and computer science can be utilized to counteract terrorism. It features theories...  Read More >>

Pre-Order
Quantum Leap: From Quantum Basics to Quantum Information Technology

Quantum Leap: From Quantum Basics to Quantum Information...
Author: Yu-Ao Chen ,  Jianwei Pan
ISBN: 9789811900068
Format: Hardback 		$284.60

 Read More >>

Pre-Order
Fraktale und Chaos: Theorie und Anwendungen

Fraktale und Chaos: Theorie und Anwendungen
Author: Christian Posthoff
ISBN: 9783658399580
Format: Hardback 		$171.57

Fraktale erlauben eine wissenschaftlich präzise Beschreibung von Natur und Gesellschaft, die mit der klassischen...  Read More >>

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

Pre-Order
Mathematical Methods in Data Science: Bridging Theory and Applications with Python

Mathematical Methods in Data Science: Bridging Theory...
Author: Sébastien Roch (University of Wisconsin, Madison)
ISBN: 9781009509459
Format: Hardback 		$310.50

 Read More >>

Pre-Order
Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now