Mathematical theory of computation books

10353 books were found.

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic Approach

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic...

Author: Youqi Li ,  Fan Li
ISBN: 9789819969203
Format: Paperback
$131.97

 Read More >>

Quantum Computers: Theory and Algorithms

Quantum Computers: Theory and Algorithms

Author: Belal Ehsan Baaquie ,  Leong-Chuan Kwek
ISBN: 9789811975196
Format: Paperback
$263.97

 Read More >>

Fourier Optics and Computational Imaging

Fourier Optics and Computational Imaging

Author: Kedar Khare ,  Mansi Butola
ISBN: 9783031183553
Format: Paperback
$237.57

These concepts are then used to describe several system ideas that combine optical hardware design and image reconstruction...  Read More >>

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation:...

Author: Rayna Dimitrova ,  Ori Lahav
ISBN: 9783031505232
Format: Paperback
$197.97

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification,...  Read More >>

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory: A Practical Logic for Expressing...

Author: William M. Farmer
ISBN: 9783031211140
Format: Paperback
$99.00

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in...  Read More >>

Discrete Mathematics: A Concise Introduction

Discrete Mathematics: A Concise Introduction

Author: George Tourlakis
ISBN: 9783031304873
Format: Hardback
$90.54

This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer...  Read More >>

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International...

Author: Rostislav Yavorskiy ,  Ana Rosa Cavalli
ISBN: 9783031504228
Format: Paperback
$171.57

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program...  Read More >>

Mind to Machine: Tracing the Development of Brain-Computer Interfaces

Mind to Machine: Tracing the Development of Brain-Computer...

Author: Pooja Verma
ISBN: 9798869098863
Format: Paperback
$63.36

BCIs ಗಳನ್ನು ಮತ್ತು ಅವುಗಳ ಸಂಭಾವ್ಯ ಅನ್ವಯಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಿBCI ಗಳ ಪರಿಚಯBCI ಅಥವಾ ಬ್ರೈನ್-ಕಂಪ್ಯೂಟರ್ ಇಂಟರ್ಫೇಸ್ ಎನ್ನುವುದು...  Read More >>

Quantum Machine Learning: Thinking and Exploration in Neural Network Models for Quantum Science and Quantum Computing

Quantum Machine Learning: Thinking and Exploration in...

Author: Claudio Conti
ISBN: 9783031442254
Format: Hardback
$284.60

 Read More >>

Mastering GPT-4 Chat: A Beginner's Guide to Harnessing the Power of Conversational AI

Mastering GPT-4 Chat: A Beginner's Guide to Harnessing...

Author: Alan Garvey
ISBN: 9798877507234
Format: Paperback
$34.29

GPT-4 Chat is a powerful tool that can be used for a variety of purposes. In this book, you will learn how to master...  Read More >>

Aprendizaje automático profundo: Guía completa para desarrolladores para principiantes sobre algoritmos, conceptos y técnicas de aprendizaje automático profundo

Aprendizaje automático profundo: Guía completa para...

Author: Joe Grant
ISBN: 9798869023780
Format: Paperback
$52.77

Aprenda algoritmos automáticos utilizando técnicas y métodos de aprendizaje automático profundo con códigos de muestra...  Read More >>

Trends and Challenges in Cognitive Modeling: An Interdisciplinary Approach Towards Thinking, Memory, and Decision-Making Simulations

Trends and Challenges in Cognitive Modeling: An Interdisciplinary...

Author: Tomas Veloz ,  Andrei Khrennikov
ISBN: 9783031418617
Format: Hardback
$316.77

This book presents interdisciplinary research in the science of Human Cognition through mathematical and computational...  Read More >>

Design Optimization Under Uncertainty

Design Optimization Under Uncertainty

Author: Weifei Hu
ISBN: 9783031492075
Format: Hardback
$224.37

This book introduces the fundamentals of probability, statistical, and reliability concepts, the classical methods...  Read More >>

A Promenade in Mathematical Proofs with Comprehensive Review of Proof Techniques

A Promenade in Mathematical Proofs with Comprehensive...

Author: Abdelouahed Hamdi ,  Noureen Khan
ISBN: 9781793564283
Format: Paperback
$198.00

Designed to support students advance their mathematical knowledge, bridging the gap from basic arithmetic and calculus...  Read More >>

Practical Guide to Applied Conformal Prediction in Python: Learn and apply the best uncertainty frameworks to your industry applications

Practical Guide to Applied Conformal Prediction in Python:...

Author: Valery Manokhin ,  Agus Sudjianto
ISBN: 9781805122760
Format: Paperback
$131.97

Elevate your machine learning skills using the Conformal Prediction framework for uncertainty quantification. Dive...  Read More >>

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI: 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers

Coordination, Organizations, Institutions, Norms, and...

Author: Nicoletta Fornara ,  Jithin Cheriyan
ISBN: 9783031491320
Format: Paperback
$131.97

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations,...  Read More >>

Robotics: Engineering the Future: Innovations and Developments in Robotics

Robotics: Engineering the Future: Innovations and Developments...

Author: Sarah Reynolds
ISBN: 9798869071200
Format: Paperback
$52.77

"Robotics appears as a crucial thread in the complex tapestry of technological growth, woven through the fabric...  Read More >>

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove

Programming-Based Formal Languages and Automata Theory:...

Author: Marco T. Morazán
ISBN: 9783031439728
Format: Hardback
$142.29

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate...  Read More >>

Concise Guide to Quantum Machine Learning

Concise Guide to Quantum Machine Learning

Author: Davide Pastorello
ISBN: 9789811968990
Format: Paperback
$336.35

 Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List