Free Delivery Over $100
11051 books were found.
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 >>
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 >>
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 >>
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural... 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 >>