Mathematical theory of computation books

11039 books were found.

C# Essentials: From Beginner To Pro

C# Essentials: From Beginner To Pro
Author: Oliver Lucas, Jr ISBN: 9798302218919 Format: Paperback	$41.95
C# Essentials: From Beginner to Pro Master the Art of C# Programming This comprehensive guide is your gateway... Read More >>

Exercises in Cellular Automata and Groups

Exercises in Cellular Automata and Groups
Author: Tullio Ceccherini-Silberstein , Michel Coornaert ISBN: 9783031103933 Format: Paperback	$145.17
This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics).... Read More >>

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023: Updates, Results, Successes...
Author: Dirk Beyer, Ph. D. , Arnd Hartmanns ISBN: 9783031676949 Format: Paperback	$116.41
Read More >>

Basiswissen der mathematischen Bildbearbeitung: Zwischen Theorie und Anwendung

Basiswissen der mathematischen Bildbearbeitung: Zwischen...
Author: Anna Breger ISBN: 9783662682838 Format: Paperback	$47.49
Read More >>

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Bridging the Gap Between AI and Reality: First International...
Author: Bernhard Steffen ISBN: 9783031737404 Format: Paperback	$284.60
This open access book constitutes revised selected papers from the First International Conference on Bridging the... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783031753794 Format: Paperback	$168.16
Read More >>

Causal Inference in R: Decipher complex relationships with advanced R techniques for data-driven decision-making

Causal Inference in R: Decipher complex relationships...
Author: Subhajit Das ISBN: 9781837639021 Format: Paperback	$118.77
Master the fundamentals to advanced techniques of causal inference through a practical, hands-on approach with extensive... Read More >>

Scalable Algorithms for Contact Problems

Scalable Algorithms for Contact Problems
Author: Zdeněk Dostál , Tomáš Kozubek ISBN: 9783031335822 Format: Paperback	$475.17
Read More >>

Restarting Automata: The Standard Type of Restarting Automaton and Its Variants

Restarting Automata: The Standard Type of Restarting...
Author: Friedrich Otto ISBN: 9783031700934 Format: Hardback	$465.72
Other topics include the descriptional complexity and inductive inference of certain types of restarting automata,... Read More >>

Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems: 22nd Asian Symposium,...
Author: Oleg Kiselyov ISBN: 9789819789429 Format: Paperback	$129.35
Read More >>

R-Calculus, VI: Finite Injury Priority Method

R-Calculus, VI: Finite Injury Priority Method
Author: Wei Li , Yuefei Sui ISBN: 9789819758296 Format: Hardback	$336.35
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness... Read More >>

Analytical Decision Making and Data Envelopment Analysis: Advances and Challenges

Analytical Decision Making and Data Envelopment Analysis:...
Author: S.A Edalatpanah , Farhad Hosseinzadeh Lotfi ISBN: 9789819769711 Format: Hardback	$413.97
Read More >>

World Conference of AI-Powered Innovation and Inventive Design: 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6–8, 2024, Proceedings, Part I

World Conference of AI-Powered Innovation and Inventive...
Author: Denis Cavallucci , Stelian Brad ISBN: 9783031759185 Format: Hardback	$181.10
This book constitutes the proceedings of the 24th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783031751066 Format: Paperback	$155.22
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium... Read More >>

Decision Mathematics, Statistical Learning and Data Mining: Selected Contributions from ICMSCT2023, Manila, Philippines, September 20-21

Decision Mathematics, Statistical Learning and Data...
Author: Wan Fairos Wan Yaacob , Yap Bee Wah ISBN: 9789819734498 Format: Hardback	$465.72
This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783031753862 Format: Paperback	$155.22
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783031753893 Format: Paperback	$116.41
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium... Read More >>

HTML And CSS: Code And Conquer

HTML And CSS: Code And Conquer
Author: Oliver Lucas, Jr ISBN: 9798301180521 Format: Paperback	$41.92
Unleash your inner web developer and build stunning websites with HTML & CSS! Dive into the world of web development... Read More >>

The Intelligence Shift: How Ai Is Rewriting the Rules of Everything

The Intelligence Shift: How Ai Is Rewriting the Rules...
Author: Derek Easton ISBN: 9798301137952 Format: Paperback	$42.21
Are you ready to unlock the secrets of artificial intelligence and discover how it's transforming every aspect of... Read More >>

Engineering Multi-Agent Systems: 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers

Engineering Multi-Agent Systems: 12th International...
Author: Daniela Briola , Rafael C. Cardoso ISBN: 9783031711510 Format: Paperback	$116.41
This book constitutes the revised selected papers from the 12th International Workshop on Engineering Multi-Agent... Read More >>

Deep Learning for Beginners: Neural Networks, NLP, and Vision with TensorFlow and Keras

Deep Learning for Beginners: Neural Networks, NLP, and...
Author: Thompson Carter ISBN: 9798300559502 Format: Paperback	$52.77
Unlock the transformative power of artificial intelligence with Deep Learning for Beginners: Neural Networks, NLP,... Read More >>

Revolutionizing Artificial Intelligence: Unlocking the Power of Cosmic Harmonized Artificial Orchestrated Systems: C.H.A.O.S. Prompting: A Deep Dive into Advanced AI Methodologi

Revolutionizing Artificial Intelligence: Unlocking the...
Author: Reece Dixon ISBN: 9798300955250 Format: Paperback	$105.57
C.H.A.O.S. Prompting: A Deep Dive into Advanced AI Methodologies by Reece Dixon is an essential guide for anyone... Read More >>

Computer and Communication Engineering: 4th International Conference, CCCE 2024, Oslo, Norway, May 24–26, 2024, Revised Selected Papers

Computer and Communication Engineering: 4th International...
Author: Filippo Neri , Ke-Lin Du ISBN: 9783031710780 Format: Paperback	$155.22
This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering,... Read More >>

PHP And MySQL: Building Efficient And Secure Application

PHP And MySQL: Building Efficient And Secure Application...
Author: Oliver Lucas, Jr ISBN: 9798300825164 Format: Paperback	$42.21
Unleash the Power of PHP and MySQL: Build Dynamic, Secure, and Efficient Web Applications Dive into the world of... Read More >>

Quantum Networks: Introduction and Applications

Quantum Networks: Introduction and Applications
Author: Ming-Xing Luo ISBN: 9789819762255 Format: Hardback	$465.72
While a fully functional quantum internet is still in progress, significant advances have been made through experiments,... Read More >>

Page 17 of 442 ... 12 13 14 15 16 17 18 19 20 21 ...

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