Mathematical theory of computation books

Introducing the features of Mathematica(R), this book continues with more complex material, including many examples...  Read More >>

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK,...  Read More >>

This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences...  Read More >>

This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and...  Read More >>

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and...  Read More >>

This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017,...  Read More >>

This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering -...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Evolutionary Multi-Criterion...  Read More >>

""Small Dynamic Complexity Classes"" was awarded the E.W. It explores the structure of small dynamic descriptive...  Read More >>

 Read More >>

This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017,...  Read More >>

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification,...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory...  Read More >>

This book constitutes revised selected papers from the 5th International Conference on Operations Research and Enterprise...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Second COST Action IC1302 International...  Read More >>

A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification...  Read More >>

This monograph aims to promote original mathematical methods to determine the invariant measure of two-dimensional...  Read More >>

This book provides an in-depth study of controlled languages used in technical documents from both a theoretical...  Read More >>

This book constitutes the proceedings of the 11th International Workshop on Fuzzy Logic and Applications, WILF 2016,...  Read More >>

This book contains revised and extended versions of selected papers from the 8th International Conference on Agents...  Read More >>

This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and...  Read More >>

 Read More >>

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics,...  Read More >>

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