Mathematical theory of computation books

 Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal...  Read More >>

This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic...  Read More >>

This book introduces readers to fundamental concepts in fuzzy logic.  Read More >>

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

This book is an accessible guide to adaptive signal processing methods that equips the reader with advanced theoretical...  Read More >>

This book constitutes thoroughly refereed and revised selected papers from the 10th International Symposium on Algorithms...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Statistical...  Read More >>

This book collects the refereed proceedings of the First International Conference onon Algorithms and Discrete Applied...  Read More >>

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

 Read More >>

The papers cover a wide range of topics including program verification, model checking, abstract interpretation,...  Read More >>

In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference...  Read More >>

This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles...  Read More >>

The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream...  Read More >>

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge...  Read More >>

Addresses the problem of stability analysis, stabilization, and robust fixed-order control of dynamical systems...  Read More >>

This book constitutes the refereed proceedings of the First Australasian Conference on Artificial Life and Computational...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on...  Read More >>

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational...  Read More >>

Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers...  Read More >>

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

 Read More >>

Statistical science as organized in formal academic departments is relatively new; largely the creation of the last...  Read More >>

Meshfree methods, particle methods, and generalized finite element methods have witnessed substantial development...  Read More >>