Mathematical theory of computation books

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are...  Read More >>

 Read More >>

This book presents a mathematical methodology for image analysis tasks at the edge of current research, including...  Read More >>

Autonomous combinatorial search (AS) represents a new field in combinatorial problem solving. Its major standpoint...  Read More >>

Digitalism is a philosophical strategy that uses new computational ways of thinking to develop naturalistic but...  Read More >>

This text presents the IEEE 1364-2001 standard of the Verilog language. The examples in this edition have been updated...  Read More >>

 Read More >>

This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge...  Read More >>

This book constitutes the revised selected papers of the 8th International Workshop on Algorithms and Computation,...  Read More >>

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

The four papers in Part I span the areas of information-driven online social networks, neural networks, collaborative...  Read More >>

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

The papers are organized in topical sections on obfuscation, applications of obfuscation, zero knowledge, black-box...  Read More >>

Epistemology, Context, and Formalism  Read More >>

The words projector, projection and idempotent are used as synonyms, although the word projection is more common....  Read More >>

Data Approximation by Low-complexity Models details the theory, algorithms, and applications of structured low-rank...  Read More >>

Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and...  Read More >>

This unique text/reference reviews algorithms for the exact or approximate solution of shortest-path problems, with...  Read More >>

 Read More >>

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

Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände...  Read More >>

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a...  Read More >>

Fortran has undergone significant upgrades in recent years. This book illustrates many improved features through...  Read More >>

Features: introduces examples of robust feature representations, reviews salient feature weighting and selection...  Read More >>

Theoretical tools and insights from discrete mathematics, theoretical computer science, and topology now play essential...  Read More >>