Mathematical theory of computation books

10437 books were found.

AIxIA 2023 – Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings

AIxIA 2023 – Advances in Artificial Intelligence: XXIInd...

Author: Roberto Basili ,  Domenico Lembo
ISBN: 9783031475450
Format: Paperback
$155.22

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in...  Read More >>

Limiting Modes of Aircraft Flight: Methods, Algorithms and Results

Limiting Modes of Aircraft Flight: Methods, Algorithms...

Author: Alexander Nikolaevich Akimov ,  Vadim Vadimovich Vorobyov
ISBN: 9789811963315
Format: Paperback
$290.37

This book describes in detail a method of direct optimization, which makes it possible to choose the best trajectory...  Read More >>

Cosmic Rays: Multimessenger Astrophysics and Revolutionary Astronomy

Cosmic Rays: Multimessenger Astrophysics and Revolutionary...

Author: Alessandro De Angelis
ISBN: 9783031385599
Format: Paperback
$72.42

In recent years, cosmic rays have become the protagonists of a new scientific revolution. We are able today to film...  Read More >>

Grundlagen der Rechnerarchitektur: Von der Schaltung zum Prozessor

Grundlagen der Rechnerarchitektur: Von der Schaltung...

Author: Frank Slomka ,  Michael Glaß
ISBN: 9783658366582
Format: Paperback
$105.57

Das Buch führt in die Grundlagen der technischen Informatik ein und richtet sich generell an Studierende der MINT-Fächer...  Read More >>

Quantum Computer Music: Foundations, Methods and Advanced Concepts

Quantum Computer Music: Foundations, Methods and Advanced...

Author: Eduardo Reck Miranda
ISBN: 9783031139116
Format: Paperback
$580.77

This book explores music with respect to quantum computing, a nascent technology that is advancing rapidly. There...  Read More >>

The Semantic Web – ISWC 2023: 22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part II

The Semantic Web – ISWC 2023: 22nd International Semantic...

Author: Terry R. Payne ,  Valentina Presutti
ISBN: 9783031472428
Format: Paperback
$258.72

This book constitutes the proceedings of the 22nd International Semantic Web Conference, ISWC 2023, which took place...  Read More >>

Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency...

Author: Maciej Koutny ,  Robin Bergenthum
ISBN: 9783662681909
Format: Paperback
$263.97

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers...  Read More >>

Machine Translation: 19th China Conference, CCMT 2023, Jinan, China, October 19–21, 2023, Proceedings

Machine Translation: 19th China Conference, CCMT 2023,...

Author: Yang Feng ,  Chong Feng
ISBN: 9789819978939
Format: Paperback
$142.29

 Read More >>

Exercises in Cellular Automata and Groups

Exercises in Cellular Automata and Groups

Author: Tullio Ceccherini-Silberstein ,  Michel Coornaert
ISBN: 9783031103902
Format: Hardback
$142.29

This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics)....  Read More >>

TinyML Cookbook: Combine machine learning with microcontrollers to solve real-world problems

TinyML Cookbook: Combine machine learning with microcontrollers...

Author: Gian Marco Iodice
ISBN: 9781837637362
Format: Paperback
$116.13

With over 70 project-based recipes, the TinyML Cookbook is a practical guide that will help you to get the most...  Read More >>

Introduction to the Tools of Scientific Computing

Introduction to the Tools of Scientific Computing

Author: Einar Smith
ISBN: 9783031169748
Format: Paperback
$145.17

By examining and comparing different languages, the book is also helpful for mathematicians and practitioners in...  Read More >>

Machine Learning for Disease Identification in Oil Palm Leaves

Machine Learning for Disease Identification in Oil Palm...

Author: Anindita Septiarini ,  Emy Setyaningsih
ISBN: 9798865779162
Format: Paperback
$18.22

"The significance of a monograph titled ""Machine Learning for Disease Identification in Oil Palm Leaves"" is underscored...  Read More >>

Scalable Algorithms for Contact Problems

Scalable Algorithms for Contact Problems

Author: Zdeněk Dostál ,  Tomáš Kozubek
ISBN: 9783031335792
Format: Hardback
$362.22

 Read More >>

Code-Based Cryptography: 11th International Workshop, CBCrypto 2023, Lyon, France, April 22–23, 2023, Revised Selected Papers

Code-Based Cryptography: 11th International Workshop,...

Author: Andre Esser ,  Paolo Santini
ISBN: 9783031464942
Format: Paperback
$116.41

 Read More >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part II

Integrated Uncertainty in Knowledge Modelling and Decision...

Author: Katsuhiro Honda ,  Bac Le
ISBN: 9783031467806
Format: Paperback
$155.22

 Read More >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2–4, 2023, Proceedings, Part I

Integrated Uncertainty in Knowledge Modelling and Decision...

Author: Van-Nam Huynh ,  Bac Le
ISBN: 9783031467745
Format: Paperback
$155.22

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge...  Read More >>

Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Static Analysis: 30th International Symposium, SAS 2023,...

Author: Manuel V. Hermenegildo ,  José F. Morales
ISBN: 9783031442445
Format: Paperback
$237.57

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023,...  Read More >>

Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers

Logic and Engineering of Natural Language Semantics:...

Author: Daisuke Bekki ,  Koji Mineshima
ISBN: 9783031439766
Format: Paperback
$129.35

 Read More >>

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

Formal Methods and Software Engineering: 24th International...

Author: Yi Li ,  Sofiène Tahar
ISBN: 9789819975839
Format: Paperback
$129.35

 Read More >>

Math for Security: From Graphs and Geometry to Spatial Analysis

Math for Security: From Graphs and Geometry to Spatial...

Author: Daniel Reilly
ISBN: 9781718502567
Format: Paperback
$130.00

"""A math-based guide for information security practitioners. Teaches how to use concepts from various fields of...  Read More >>

Neural Networks with Python

Neural Networks with Python

Author: Mei Wong
ISBN: 9788119177486
Format: Paperback
$171.57

"""Neural Networks with Python"" serves as an introductory guide for those taking their first steps into neural...  Read More >>

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 26th...

Author: Alexandre Madeira ,  Manuel A. Martins
ISBN: 9783031433443
Format: Paperback
$145.17

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on...  Read More >>

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

Automated Technology for Verification and Analysis:...

Author: Étienne André ,  Jun Sun
ISBN: 9783031453281
Format: Paperback
$168.16

 Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List