Mathematical theory of computation books

11045 books were found.

Introduction to the Tools of Scientific Computing

Introduction to the Tools of Scientific Computing
Author: Einar Smith ISBN: 9783031169717 Format: Hardback	$142.29
By examining and comparing different languages, the book is also helpful for mathematicians and practitioners in... Read More >>

Programming Languages: Build, Prove, and Compare

Programming Languages: Build, Prove, and Compare
Author: Norman Ramsey (Tufts University, Massachusetts) ISBN: 9781107180185 Format: Hardback	$175.95
Read More >>

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About...
Author: Wolfgang Schreiner ISBN: 9783030805098 Format: Paperback	$155.22
Read More >>

Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

Automated Technology for Verification and Analysis:...
Author: Ahmed Bouajjani , Lukáš Holík ISBN: 9783031199912 Format: Paperback	$168.16
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification... Read More >>

Approximation and Online Algorithms: 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings

Approximation and Online Algorithms: 20th International...
Author: Parinya Chalermsook , Bundit Laekhanukit ISBN: 9783031183669 Format: Paperback	$116.41
Read More >>

Discrete Geometry and Mathematical Morphology: Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings

Discrete Geometry and Mathematical Morphology: Second...
Author: Étienne Baudrier , Benoît Naegel ISBN: 9783031198960 Format: Paperback	$116.41
Read More >>

Neural Computing for Advanced Applications: Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II

Neural Computing for Advanced Applications: Third International...
Author: Haijun Zhang , Yuehui Chen ISBN: 9789811961342 Format: Paperback	$116.41
The two-volume Proceedings set CCIS 1637 and 1638 constitutes the refereed proceedings of the Third International... Read More >>

Neural Computing for Advanced Applications: Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part I

Neural Computing for Advanced Applications: Third International...
Author: Haijun Zhang , Yuehui Chen ISBN: 9789811961410 Format: Paperback	$232.85
The two-volume Proceedings set CCIS 1637 and 1638 constitutes the refereed proceedings of the Third International... Read More >>

Nonlinear Dynamics and Complexity: Mathematical Modelling of Real-World Problems

Nonlinear Dynamics and Complexity: Mathematical Modelling...
Author: Carla M.A. Pinto ISBN: 9783031066313 Format: Hardback	$517.47
This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

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

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783031197581 Format: Paperback	$155.22
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International... Read More >>

The Physics of Computing

The Physics of Computing
Author: Luca Gammaitoni ISBN: 9783030871109 Format: Paperback	$336.35
This book presents a self-contained introduction to the physics of computing, by addressing the fundamental underlying... Read More >>

Data Science in Context: Foundations, Challenges, Opportunities

Data Science in Context: Foundations, Challenges, Opportunities...
Author: Alfred Z. Spector (Massachusetts Institute of Technology) , Peter Norvig (Stanford University, California) ISBN: 9781009272209 Format: Hardback	$80.21
Read More >>

Online Capacity Provisioning for Energy-Efficient Datacenters

Online Capacity Provisioning for Energy-Efficient Datacenters...
Author: Minghua Chen , Sid Chi-Kin Chau ISBN: 9783031115486 Format: Hardback	$116.41
Read More >>

Machine Learning with Quantum Computers

Machine Learning with Quantum Computers
Author: Maria Schuld , Francesco Petruccione ISBN: 9783030831004 Format: Paperback	$284.60
This book offers an introduction into quantum machine learning research, covering approaches that range from ""near-term""... Read More >>

Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings

Algebraic Informatics: 9th International Conference,...
Author: Dimitrios Poulakis , George Rahonis ISBN: 9783031196843 Format: Paperback	$116.41
Read More >>

The Semantic Web – ISWC 2022: 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings

The Semantic Web – ISWC 2022: 21st International Semantic...
Author: Ulrike Sattler , Aidan Hogan ISBN: 9783031194320 Format: Paperback	$232.85
Read More >>

Algorithms on Trees and Graphs: With Python Code

Algorithms on Trees and Graphs: With Python Code
Author: Gabriel Valiente ISBN: 9783030818876 Format: Paperback	$142.29
Read More >>

Quantum Software Engineering

Quantum Software Engineering
Author: Manuel A. Serrano , Ricardo Pérez-Castillo ISBN: 9783031053238 Format: Hardback	$258.72
Read More >>

Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

Reachability Problems: 16th International Conference,...
Author: Anthony W. Lin , Georg Zetzsche ISBN: 9783031191343 Format: Paperback	$129.35
Read More >>

Machine Learning Methods for Engineering Application Development

Machine Learning Methods for Engineering Application...
Author: Basant Verma , N Thillaiarasu ISBN: 9789815079203 Format: Paperback	$200.64
Read More >>

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Formal Methods and Software Engineering: 23rd International...
Author: Adrian Riesco , Min Zhang ISBN: 9783031172434 Format: Paperback	$116.41
Read More >>

Grokking Algorithms: Tips and Tricks of Grokking Functional Programming (Simple and Effective Methods to Grokking Deep Learning)

Grokking Algorithms: Tips and Tricks of Grokking Functional...
Author: Korbin Pouros ISBN: 9781774859056 Format: Paperback	$52.67
Read More >>

Guide to Graph Colouring: Algorithms and Applications

Guide to Graph Colouring: Algorithms and Applications...
Author: R. M. R. Lewis ISBN: 9783030810566 Format: Paperback	$129.35
Read More >>

Beginning MATLAB and Simulink: From Beginner to Pro

Beginning MATLAB and Simulink: From Beginner to Pro...
Author: Sulaymon Eshkabilov ISBN: 9781484287477 Format: Paperback	$171.57
Employ essential tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via... Read More >>

Page 59 of 442 ... 54 55 56 57 58 59 60 61 62 63 ...

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