Mathematical theory of computation books

11045 books were found.

Applied Quantitative Finance: Using Python for Financial Analysis

Applied Quantitative Finance: Using Python for Financial...
Author: Mauricio Garita ISBN: 9783030291433 Format: Paperback	$184.77
This book provides both conceptual knowledge of quantitative finance and a hands-on approach to using Python. This... Read More >>

KI 2022: Advances in Artificial Intelligence: 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings

KI 2022: Advances in Artificial Intelligence: 45th German...
Author: Ralph Bergmann , Lukas Malburg ISBN: 9783031157905 Format: Paperback	$129.35
This book constitutes the refereed proceedings of the 45th German Conference on Artificial Intelligence, KI 2022,... Read More >>

Quantum Information Processing: Theory and Implementation

Quantum Information Processing: Theory and Implementation...
Author: János A. Bergou , Mark Hillery ISBN: 9783030754389 Format: Paperback	$142.29
Read More >>

Multivariate Data Analysis on Matrix Manifolds: (with Manopt)

Multivariate Data Analysis on Matrix Manifolds: (with...
Author: Nickolay Trendafilov , Michele Gallo ISBN: 9783030769765 Format: Paperback	$116.41
Read More >>

Mathematical Logic through Python

Mathematical Logic through Python
Author: Yannai A. Gonczarowski (Harvard University, Massachusetts) , Noam Nisan (Hebrew University of Jerusalem) ISBN: 9781108949477 Format: Paperback	$62.10
Read More >>

Mathematical Logic through Python

Mathematical Logic through Python
Author: Yannai A. Gonczarowski (Harvard University, Massachusetts) , Noam Nisan (Hebrew University of Jerusalem) ISBN: 9781108845076 Format: Hardback	$160.43
Read More >>

Protocol-Based Sliding Mode Control: 1D and 2D System Cases

Protocol-Based Sliding Mode Control: 1D and 2D System...
Author: Jun Song (Anhui University, China) , Zidong Wang (Brunel Uni, UK) ISBN: 9781032313870 Format: Hardback	$347.00
Read More >>

Combinatorics, Graph Theory and Computing: SEICCGTC 2020, Boca Raton, USA, March 9–13

Combinatorics, Graph Theory and Computing: SEICCGTC...
Author: Frederick Hoffman ISBN: 9783031053740 Format: Hardback	$336.35
This proceedings volume gathers selected, revised papers presented at the 51st Southeastern International Conference... Read More >>

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

Quantitative Evaluation of Systems: 19th International...
Author: Erika Ábrahám , Marco Paolieri ISBN: 9783031163357 Format: Paperback	$116.41
Read More >>

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings

Logic-Based Program Synthesis and Transformation: 32nd...
Author: Alicia Villanueva ISBN: 9783031167669 Format: Paperback	$129.35
Read More >>

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

Model-Based Safety and Assessment: 8th International...
Author: Christel Seguin , Marc Zeller ISBN: 9783031158414 Format: Paperback	$129.35
Read More >>

Computational Thinking for Life Scientists

Computational Thinking for Life Scientists
Author: Benny Chor (Tel-Aviv University) , Amir Rubinstein (Tel-Aviv University) ISBN: 9781316647592 Format: Paperback	$80.21
Read More >>

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge...
Author: Ana Fred , David Aveiro ISBN: 9783031146015 Format: Paperback	$116.41
Read More >>

Computational Thinking for Life Scientists

Computational Thinking for Life Scientists
Author: Benny Chor (Tel-Aviv University) , Amir Rubinstein (Tel-Aviv University) ISBN: 9781107197244 Format: Hardback	$201.83
Aimed at life science students, and of interest to academic researchers, this book bridges the gap between the biological... Read More >>

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

A Journey from Process Algebra via Timed Automata to...
Author: Nils Jansen , Mariëlle Stoelinga ISBN: 9783031156281 Format: Paperback	$116.41
Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995,... Read More >>

Statistics with Julia: Fundamentals for Data Science, Machine Learning and Artificial Intelligence

Statistics with Julia: Fundamentals for Data Science,...
Author: Yoni Nazarathy , Hayden Klok ISBN: 9783030709037 Format: Paperback	$413.97
Read More >>

Intensional First-Order Logic: From AI to New SQL Big Data

Intensional First-Order Logic: From AI to New SQL Big...
Author: Zoran Majkic ISBN: 9783110994940 Format: Hardback	$257.31
This book introduces the properties of conservative extensions of First Order Logic to new Intensional First Order... Read More >>

The Regularized Fast Hartley Transform: Low-Complexity Parallel Computation of the FHT in One and Multiple Dimensions

The Regularized Fast Hartley Transform: Low-Complexity...
Author: Keith John Jones ISBN: 9783030682477 Format: Paperback	$258.72
This book describes how a key signal/image processing algorithm – that of the fast Hartley transform (FHT) or, via... Read More >>

Quaternions for Computer Graphics

Quaternions for Computer Graphics
Author: John Vince ISBN: 9781447175117 Format: Paperback	$116.41
If you have ever wondered what quaternions are — then look no further, John Vince will show you how simple and useful... Read More >>

High-Performance Algorithms for Mass Spectrometry-Based Omics

High-Performance Algorithms for Mass Spectrometry-Based...
Author: Fahad Saeed , Muhammad Haseeb ISBN: 9783031019593 Format: Hardback	$232.85
To date, processing of high-throughput Mass Spectrometry (MS) data is accomplished using serial algorithms. Developing... Read More >>

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems: IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part I

Advances in Production Management Systems. Artificial...
Author: Alexandre Dolgui , Alain Bernard ISBN: 9783030858766 Format: Paperback	$413.97
Read More >>

Regional Failure Events in Communication Networks: Models, Algorithms and Applications

Regional Failure Events in Communication Networks: Models,...
Author: Balázs Vass ISBN: 9783031142550 Format: Hardback	$232.85
This book presents a comprehensive study covering the design and application of models and algorithms for assessing... Read More >>

Foundations of Computational Imaging: A Model-Based Approach

Foundations of Computational Imaging: A Model-Based...
Author: Charles A. Bouman ISBN: 9781611977127 Format: Paperback	$148.50
Read More >>

Resource Allocation in Network Function Virtualization: Problems, Models and Algorithms

Resource Allocation in Network Function Virtualization:...
Author: Song Yang , Nan He ISBN: 9789811948145 Format: Hardback	$232.85
Network Function Virtualization (NFV) has recently attracted considerable attention from both research and industrial... Read More >>

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th...
Author: Sergiy Bogomolov , David Parker ISBN: 9783031158384 Format: Paperback	$129.35
Read More >>

Page 61 of 442 ... 56 57 58 59 60 61 62 63 64 65 ...

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