Mathematical theory of computation books

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024,...  Read More >>

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness...  Read More >>

This book constitutes the proceedings of the 24th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered...  Read More >>

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium...  Read More >>

This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology...  Read More >>

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium...  Read More >>

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium...  Read More >>

This book constitutes the revised selected papers from the 12th International Workshop on Engineering Multi-Agent...  Read More >>

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering,...  Read More >>

While a fully functional quantum internet is still in progress, significant advances have been made through experiments,...  Read More >>

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

This volume features a selection of technical papers presented at the workshop “The Fifth Workshop on Interdisciplinary...  Read More >>

Transfer learning is one of the most important technologies in the era of artificial intelligence and deep learning....  Read More >>

This book constitutes the refereed post-conference proceedings of the 5th International Conference for Next Generation...  Read More >>

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

This book summarizes the main research results and preliminaries of quantum obfuscation and systematically introduces...  Read More >>

 Read More >>

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

This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and...  Read More >>

This book collects a selection of the articles presented at the virtual conference “Game Theory and Applications”,...  Read More >>

 Read More >>

 Read More >>

 Read More >>

Accurately detecting crack localization is not an easy task. This book addresses important issues in detecting crack-like...  Read More >>

This book presents the developments in machine learning with data mining, and their influence in Industrial IoT...  Read More >>