Mathematical theory of computation books

11051 books were found.

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Numerical Verification Methods and Computer-Assisted...

Author: Mitsuhiro T. Nakao ,  Michael Plum
ISBN: 9789811376719
Format: Paperback
$310.47

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the...  Read More >>

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Formal Methods: Foundations and Applications: 23rd Brazilian...

Author: Gustavo Carvalho ,  Volker Stolz
ISBN: 9783030638818
Format: Paperback
$142.29

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which...  Read More >>

Towards User-Centric Intelligent Network Selection in 5G Heterogeneous Wireless Networks: A Reinforcement Learning Perspective

Towards User-Centric Intelligent Network Selection in...

Author: Zhiyong Du ,  Bin Jiang
ISBN: 9789811511226
Format: Paperback
$290.37

This book presents reinforcement learning (RL) based solutions for user-centric online network selection optimization....  Read More >>

Mastering Reinforcement Learning with Python: Build next-generation, self-learning models using reinforcement learning techniques and best practices

Mastering Reinforcement Learning with Python: Build...

Author: Enes Bilgin
ISBN: 9781838644147
Format: Paperback
$129.33

This book focuses on expert-level explanations and implementations of scalable reinforcement learning algorithms...  Read More >>

Atomic-Scale Electronics Beyond CMOS

Atomic-Scale Electronics Beyond CMOS

Author: Mircea Dragoman ,  Daniela Dragoman
ISBN: 9783030605629
Format: Hardback
$527.97

This book explores emerging topics in atomic- and nano-scale electronics after the era of Moore’s Law, covering...  Read More >>

Handbook of Model Checking

Handbook of Model Checking

Author: Edmund M. Clarke, Jr. ,  Thomas A. Henzinger
ISBN: 9783030132330
Format: Paperback
$422.37

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition...  Read More >>

The Foundations of Computability Theory

The Foundations of Computability Theory

Author: Borut Robič
ISBN: 9783662624203
Format: Hardback
$263.97

The Foundations of Computability Theory  Read More >>

The Semantic Web: ESWC 2020 Satellite Events: ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers

The Semantic Web: ESWC 2020 Satellite Events: ESWC 2020...

Author: Andreas Harth ,  Valentina Presutti
ISBN: 9783030623265
Format: Paperback
$116.41

Chapter “ABECTO: An ABox Evaluation and Comparison Tool for Ontologies” is available open access under a Creative...  Read More >>

Small Summaries for Big Data

Small Summaries for Big Data

Author: Graham Cormode (University of Warwick) ,  Ke Yi (Hong Kong University of Science and Technology)
ISBN: 9781108477444
Format: Hardback
$171.60

The massive volume of data generated in modern applications requires the ability to build compact summaries of datasets....  Read More >>

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Dependable Software Engineering. Theories, Tools, and...

Author: Jun Pang ,  Lijun Zhang
ISBN: 9783030628215
Format: Paperback
$116.41

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA...  Read More >>

Analytical and Stochastic Modelling Techniques and Applications: 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings

Analytical and Stochastic Modelling Techniques and Applications:...

Author: Marco Gribaudo ,  Eduard Sopin
ISBN: 9783030628840
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic...  Read More >>

Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

Descriptional Complexity of Formal Systems: 22nd International...

Author: Galina Jirásková ,  Giovanni Pighizzini
ISBN: 9783030625351
Format: Paperback
$116.41

This book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format...  Read More >>

Computational Diffusion MRI: MICCAI Workshop, Shenzhen, China, October 2019

Computational Diffusion MRI: MICCAI Workshop, Shenzhen,...

Author: Elisenda Bonet-Carne ,  Jana Hutter
ISBN: 9783030528928
Format: Hardback
$448.77

This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI 2019), held under the...  Read More >>

Mathesis Universalis, Computability and Proof

Mathesis Universalis, Computability and Proof

Author: Stefania Centrone ,  Sara Negri
ISBN: 9783030204495
Format: Paperback
$284.60

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver...  Read More >>

Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings

Optimization and Applications: 11th International Conference,...

Author: Nicholas Olenev ,  Yuri Evtushenko
ISBN: 9783030628666
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 11th International Conference on Optimization and Applications,...  Read More >>

Rethinking Causality in Quantum Mechanics

Rethinking Causality in Quantum Mechanics

Author: Christina Giarmatzi
ISBN: 9783030319328
Format: Paperback
$232.85

 Read More >>

Theory and Practice of Natural Computing: 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings

Theory and Practice of Natural Computing: 9th International...

Author: Carlos Martín-Vide ,  Miguel A. Vega-Rodríguez
ISBN: 9783030629991
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural...  Read More >>

Electronic Filters: Theory, Numerical Recipes, and Design Practice based on the RM Software

Electronic Filters: Theory, Numerical Recipes, and Design...

Author: Vančo Litovski
ISBN: 9789813298545
Format: Paperback
$258.72

Further, it discusses new procedures to improve the selectivity of all polynomial filters by introducing transmission...  Read More >>

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Quantitative Evaluation of Systems: 17th International...

Author: Marco Gribaudo ,  David N. Jansen
ISBN: 9783030598532
Format: Paperback
$116.41

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST...  Read More >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision...

Author: Van-Nam Huynh ,  Tomoe Entani
ISBN: 9783030625085
Format: Paperback
$263.97

This book constitutes the refereed proceedings of the 8th International Symposium on Integrated Uncertainty in Knowledge...  Read More >>

The Semantic Web – ISWC 2020: 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II

The Semantic Web – ISWC 2020: 19th International Semantic...

Author: Jeff Z. Pan ,  Valentina Tamma
ISBN: 9783030624651
Format: Paperback
$258.72

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List