Mathematical theory of computation books

This book constitutes the proceedings of the 7th International and Interdisciplinary Conference on Modeling and...  Read More >>

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some...  Read More >>

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

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

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

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion...  Read More >>

This book constitutes the refereed proceedings of the 5th European Conference on Software Architecture, ECSA 2011,...  Read More >>

This book constitutes the refereed proceedings of the Second International Conference on Computational Logistics,...  Read More >>

Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in...  Read More >>

The two-volume set IFIP AICT 363 and 364 constitutes the refereed proceedings of the 12th International Conference...  Read More >>

This book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 2011, held...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in...  Read More >>

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract...  Read More >>

graph mining, graphical models, hidden markov models, kernel methods, active and ensemble learning, semi-supervised...  Read More >>

graph mining, graphical models, hidden markov models, kernel methods, active and ensemble learning, semi-supervised...  Read More >>

graph mining, graphical models, hidden markov models, kernel methods, active and ensemble learning, semi-supervised...  Read More >>

This book contains a collection of thoroughly refereed papers derived from the First IFIP WG 9.7 Conference on Soviet...  Read More >>

This book presents one of the most commonly used grammatical formalisms, Unification Grammars, which underlies contemporary...  Read More >>

Describes highly effective information retrieval models for both smaller, classical data sets, and larger Web collections....  Read More >>

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

Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists....  Read More >>

 Read More >>

This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT...  Read More >>

There has been considerable interest recently in the subject of patterns in permutations and words, a new branch...  Read More >>

This book offers an overview of network routing optimization and acts as an introduction to algorithms used to solve...  Read More >>