Mathematical theory of computation books

 Read More >>

This book introduces new developments in the construction, analysis, and implementation of parallel computing algorithms....  Read More >>

The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis,...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational...  Read More >>

The papers are organized in topical sections on knowledge representation, constraints, planning, grammar and language...  Read More >>

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive...  Read More >>

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics...  Read More >>

This volume contains the proceedings of the 10th International Symposium on Stabilization, Safety, and Security...  Read More >>

Most papers in this volume are surveys that provide an excellent overview of an activeresearcharea,butthisbookalsocontainsmanynewresults.Highlightingmany...  Read More >>

Table of Contents: Introduction / The Algorithmic Structure of Quantum Computing / Advantages and Limitations of...  Read More >>

Als Architekt arbeiten Sie in einem sehr vielfältigen und dynamischen Umfeld. Neue Technologien drängen auf den...  Read More >>

This book contains the best papers of the 9th International Conference on Enterprise Information Systems (ICEIS...  Read More >>

Suitable for graduate students and researchers with different scientific backgrounds who wish to learn brain science...  Read More >>

 Read More >>

Enterprise modeling (EM) has gained substantial popularity both in the academic community and among practitioners....  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification,...  Read More >>

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International...  Read More >>

The papers present current original research and focus on theoretical aspects of quantum computation, quantum communication,...  Read More >>

Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and...  Read More >>

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems...  Read More >>

Describes research results and innovative applications in the interdisciplinary field of critical infrastructure...  Read More >>

Constitutes the post-conference proceedings of the Third International Symposium on Applications of Graph Transformations,...  Read More >>

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria....  Read More >>

Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods,...  Read More >>