Mathematical theory of computation books

The 2nd International Workshop on Statistical Methods in Video Processing, SMVP 2004, was held in Prague, Czech...  Read More >>

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held...  Read More >>

 Read More >>

Increasing system complexity has created a pressing need for better design tools and associated methodologies and...  Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on High-Performance Computing,...  Read More >>

 Read More >>

Due to the continuing progress of sensor technology, the availability of 3-D cameras is already foreseeable. In...  Read More >>

This volume contains the proceedings of the 15th Annual International Sym- sium on Algorithms and Computation (ISAAC...  Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting...  Read More >>

Computational logic approaches problems, and provides solutions, at a su?cient level of abstraction so that they...  Read More >>

This work brings together two streams in computer algebra: symbolic...  Read More >>

Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms...  Read More >>

Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform...  Read More >>

This book constitutes the refereed proceedings of the 17th Australian Conference on Artificial Intelligence, AI...  Read More >>

Computer Science and Operations Research continue to have a synergistic relationship and this book represents the...  Read More >>

While words play a central role in human information processing, linguistic models are not often used in the fields...  Read More >>

Provides an essential reference for anyone interested in the effective management of semistructured data. Describes...  Read More >>

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming...  Read More >>

The papers were peer reviewed.Quantum communications, measurement and computing embodies the fledgling science of...  Read More >>

Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There...  Read More >>

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware...  Read More >>

QoS is an important subject which occupies a central place in overall packet network technologies. The second explains...  Read More >>

 Read More >>

Introduces an analysis and design method customized to form-based enterprise applications, the predominant type...  Read More >>

 Read More >>