Mathematical theory of computation books

This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held...  Read More >>

This book constitutes the proceedings of the 10th International Conference on Business Process Management, BPM 2012,...  Read More >>

Published to honor renowned formal language researcher Jurgen Dassow, this collection of essays by leading researchers,...  Read More >>

While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers...  Read More >>

 Read More >>

The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference...  Read More >>

The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference...  Read More >>

The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing...  Read More >>

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations...  Read More >>

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

For fuzzy sets the idea of counting, in both aspects, looses its naive foundation: because it is to a large extent...  Read More >>

In this book, some fifteen well-known data mining professionals give their answers to such questions as What are...  Read More >>

In England SIMS (School Information Management System) has the largest market share of computerised school administration...  Read More >>

This volume covers the fields of measurement and information acqulSltlon. Nowadays information acquisition should...  Read More >>

This volume constitutes the refereed proceedings of the 12th Pacific Rim Conference on Artificial Intelligence,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Advances in Computer Games...  Read More >>

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer...  Read More >>

This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language...  Read More >>

The papers are organized in topical sections on CNL for knowledge representation, CNL for interactive systems, CNL...  Read More >>

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of...  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, first published in 2006, provides an introduction to the subject of quantum information and computation....  Read More >>

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

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

The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers...  Read More >>