Mathematical theory of computation books

 Read More >>

 Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019,...  Read More >>

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information...  Read More >>

Presemts innovative research that combines theory and practice on adopting the latest deep learning advancements...  Read More >>

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV...  Read More >>

Synthesizes the analytic principles of clustering and machine learning to big data and provides an interface between...  Read More >>

 Read More >>

Der Autor behandelt den Entwurfsprozess der Gotik unter dem Aspekt von Entwurfs- und Entwicklungsprozessen der Informatik...  Read More >>

 Read More >>

This book presents practical solutions to the most common reinforcement learning problems. The recipes in this book...  Read More >>

Ein Buch über die Unendlichkeit Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird...  Read More >>

 Read More >>

This book gathers selected contributions presented at the INdAM Workshop “DREAMS”, held in Rome, Italy on January...  Read More >>

This book comprises selected peer-reviewed papers presented at the 7th Topical Conference of the Indian Society...  Read More >>

This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory,...  Read More >>

Offers an overview of advanced methods for solving problems in business, economics, and finance. This book describes...  Read More >>

The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions;...  Read More >>

Explores the mathematical advancements made in quantum computing and technology. This title contains topics in quantum...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on...  Read More >>

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic...  Read More >>

The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including...  Read More >>

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view:...  Read More >>

HPC is used to solve a number of complex questions in computational and data-intensive sciences. These questions...  Read More >>