Mathematical theory of computation books

Presenting concepts and tools to understand, build and implement algorithms for computing elementary functions such...  Read More >>

This textbook helps future data analysts comprehend aggregation function theory and methods in an accessible way,...  Read More >>

The papers in this volume represent a broad, applied swath of advanced contributions to the 2015 ICSA/Graybill Applied...  Read More >>

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence,...  Read More >>

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which...  Read More >>

 Read More >>

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides...  Read More >>

 Read More >>

Die Ziele des Autors sind, Doppelentwicklungen ähnlicher Funktionen und nachträgliche Schnittstellenanpassungen...  Read More >>

This textbook explains online computation in different settings, with particular emphasis on randomization and advice...  Read More >>

The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference...  Read More >>

The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference...  Read More >>

This book is the first one addressing quantum information from the viewpoint of group symmetry. This book treats...  Read More >>

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held...  Read More >>

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

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for...  Read More >>

This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and...  Read More >>

 Read More >>

This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach,...  Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

This book presents the theory of continuum mechanics for mechanical, thermodynamical, and electrodynamical systems....  Read More >>

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016,...  Read More >>

This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on Computer Science...  Read More >>

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning....  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization...  Read More >>