Mathematical theory of computation books

Das Buch gibt eine leicht verständliche Einführung in die Thematik der Technischen Informatik, die heute für das...  Read More >>

This book constitutes the refereed proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial...  Read More >>

Fascicle 1 introduces MMIX, reflecting 30 years of change to the MIX computer, a significant update to key material...  Read More >>

Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction...  Read More >>

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality,...  Read More >>

The definitive examination of the under-utilized but surprisingly rich field of n-tuple generation and permutation....  Read More >>

 Read More >>

The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms...  Read More >>

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence...  Read More >>

This book of contributed chapters is authored by renowned scientists and covers recent results in the highly topical...  Read More >>

Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work...  Read More >>

Constitutes the refereed post-proceedings of the Third International Conference on Numerical Analysis and Its Applications,...  Read More >>

Constitutes the refereed proceedings of the Third International Conference on Evolutionary Multi-Criterion Optimization,...  Read More >>

Contributors to the WOMPAT 2004 OMPlab included IBM, Intel, Sun, the University of Tennessee, NASA, the University...  Read More >>

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and...  Read More >>

Formal concept analysis is a ?eld of applied mathematics with its mat- matical root in order theory, in particular...  Read More >>

Our approach was to invite some of the leading researchers in this area to contribute to this book by submitting...  Read More >>

CICLing 2005 (www.CICLing.org) was the 6th Annual Conference on Intelligent Text Processing and Computational Linguistics....  Read More >>

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification...  Read More >>

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations...  Read More >>

Discusses the information model that describes the purpose, structure, and behavior of a network. This title presents...  Read More >>

A reference for both academic and professional researchers in the field of security and trust. The papers presented...  Read More >>

Presents three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity....  Read More >>

 Read More >>

During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become...  Read More >>