Mathematical theory of computation books

This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013,...  Read More >>

This book constitutes the thoroughly refereed conference proceedings of the 14th International Conference on Rough...  Read More >>

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

Assoziativspeicher dienen einer Assoziativmaschine als Programm- und Datenspeicher, so dass sie deren fehlertolerante...  Read More >>

Paul Erdös was one of the most influential mathematicians of the twentieth century, whose work in number theory,...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Haptic and Audio Interaction...  Read More >>

This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence,...  Read More >>

 Read More >>

Derek Price would have loved this book which not only pays homage to him but also to the key players in information...  Read More >>

Voronoi diagrams partition space according to the influence certain sites exert on their environment. Since the...  Read More >>

The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short...  Read More >>

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO...  Read More >>

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems,...  Read More >>

This book constitutes the refereed proceedings of the 13th International Workshop on Algorithms in Bioinformatics,...  Read More >>

The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level...  Read More >>

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

This book constitutes the refereed proceedings of the 9th International Workshop on OpenMP, held in Canberra, Australia,...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI...  Read More >>

The focus of the papers is on following topics: neurofinance graphical network models, brain machine interfaces,...  Read More >>

The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata...  Read More >>

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and...  Read More >>

This book constitutes the refereed proceedings of the 19th International Conference on DNA Computing and Molecular...  Read More >>

This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with...  Read More >>

 Read More >>

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