Mathematical theory of computation books

11045 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	$145.17
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 >>

R-Calculus, V: Description Logics

R-Calculus, V: Description Logics
Author: Wei Li , Yuefei Sui ISBN: 9789819964598 Format: Hardback	$527.97
This book series consists of two parts, decidable description logics and undecidable description logics. It gives... Read More >>

Fourier Optics and Computational Imaging

Fourier Optics and Computational Imaging
Author: Kedar Khare , Mansi Butola ISBN: 9783031183553 Format: Paperback	$181.10
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 II

Verification, Model Checking, and Abstract Interpretation:...
Author: Rayna Dimitrova , Ori Lahav ISBN: 9783031505201 Format: Paperback	$168.16
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	$224.37
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	$184.77
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program... Read More >>

Coherence: In Signal Processing and Machine Learning

Coherence: In Signal Processing and Machine Learning...
Author: David Ramírez , Ignacio Santamaría ISBN: 9783031133336 Format: Paperback	$527.97
Then least squares theory and the theory of minimum mean-squared error estimation are developed, with special attention... Read More >>

Linear Programming Computation

Linear Programming Computation
Author: Ping-Qi PAN ISBN: 9789811901492 Format: Paperback	$646.85
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	$142.29
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
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 >>

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

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

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	$343.17
Read More >>

Design Optimization Under Uncertainty

Design Optimization Under Uncertainty
Author: Weifei Hu ISBN: 9783031492075 Format: Hardback	$168.16
This book introduces the fundamentals of probability, statistical, and reliability concepts, the classical methods... Read More >>

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings

Approximation and Online Algorithms: 21st International...
Author: Jarosław Byrka , Andreas Wiese ISBN: 9783031498145 Format: Paperback	$142.29
This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms,... Read More >>

Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings

Inductive Logic Programming: 32nd International Conference,...
Author: Elena Bellodi , Francesca Alessandra Lisi ISBN: 9783031492983 Format: Paperback	$103.47
They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph... Read More >>

Uncertainty Analyses in Environmental Sciences and Hydrogeology: Methods and Applications to Subsurface Contamination

Uncertainty Analyses in Environmental Sciences and Hydrogeology:...
Author: Rachid Ababou , Juliette Chastanet ISBN: 9789819962402 Format: Paperback	$103.47
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	$307.00
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
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 >>

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

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

Concise Guide to Quantum Machine Learning

Concise Guide to Quantum Machine Learning
Author: Davide Pastorello ISBN: 9789811968990 Format: Paperback	$336.35
Read More >>

Page 36 of 442 ... 31 32 33 34 35 36 37 38 39 40 ...

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