Mathematical theory of computation books

Presents a comprehensive introduction to various mathematical approaches to achieving high-quality software. This...  Read More >>

This volume consists of papers presented at the Variational Analysis and Aerospace Engineering Workshop II held...  Read More >>

Constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational...  Read More >>

th This volume contains a selection of 41 refereed papers presented at the 18 International Conference of Domain...  Read More >>

This revised and updated text presents the computational and mathematical procedures underlying data collection,...  Read More >>

 Read More >>

This technique allows the generation of adaptive grids for a wide variety of computational physics problems, including...  Read More >>

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal...  Read More >>

This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm....  Read More >>

The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined,...  Read More >>

 Read More >>

 Read More >>

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in...  Read More >>

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite...  Read More >>

Today, certain computer software systems exist which surpass the computational ability of researchers when their...  Read More >>

Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning...  Read More >>

This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held...  Read More >>

Papers were invited on all aspects of programming language research, including: programming paradigms and styles,...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 9th Theory of Cryptography Conference, TCC 2012,...  Read More >>

 Read More >>

The thesis deals with averaging dynamics in a multiagent networked system, which is a main mechanism for diffusing...  Read More >>

Starting with Cook's pioneering work on NP-completeness in 1970, polynomial complexity theory, the study of polynomial-time...  Read More >>

This volume describes our intellectual path from the physics of complex sys­ tems to the science of artificial cognitive...  Read More >>

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software,...  Read More >>

 Read More >>