Mathematical theory of computation books

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

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

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

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

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

 Read More >>

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

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

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

 Read More >>

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

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

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

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

 Read More >>

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

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

 Read More >>

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

 Read More >>

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

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

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

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