Mathematical theory of computation books

This book gathers selected papers presented at the 6th International Conference on Artificial Intelligence and Evolutionary...  Read More >>

 Read More >>

 Read More >>

These techniques are unique for the discretisation of first-kind integral equations since the resulting systems...  Read More >>

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing,...  Read More >>

This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial...  Read More >>

This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI...  Read More >>

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference on Combinatorics on Words, WORDS...  Read More >>

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory,...  Read More >>

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte...  Read More >>

 Read More >>

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical...  Read More >>

Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni...  Read More >>

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis...  Read More >>

 Read More >>

Advanced security topics such as secure remote work, data security, network security, application and device security,...  Read More >>

This textbook approaches the essence of machine learning and data science by considering math problems and building...  Read More >>

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN...  Read More >>

This book presents a systematic exposition of the main ideas and methods in treating inverse problems for PDEs arising...  Read More >>

Iceberg semantics is a new framework of Boolean semantics for mass nouns and count nouns in which the interpretation...  Read More >>

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures,...  Read More >>

 Read More >>

With the development of Big Data platforms for managing massive amount of data and wide availability of tools for...  Read More >>

 Read More >>