Mathematical theory of computation books

Constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation,...  Read More >>

Summarizes progress in the field of topological robotics - a fresh discipline at the crossroads of topology, engineering...  Read More >>

Constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007,...  Read More >>

He has played a leading role in field of rewriting and its technology, advancing the research areas of unification,...  Read More >>

Constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial...  Read More >>

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication,...  Read More >>

Operations from logic and set theory can be applied to existing sets of truths to derive new sets of truths. Applied...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe,...  Read More >>

Exakt, aber dennoch anschaulich und gut nachvollziehbar: Auch die 2. Auflage illustriert die mathematischen Grundlagen...  Read More >>

 Read More >>

 Read More >>

Ce livre propose une initiation au calcul formel avec Maple et presente une synthese des connaissances essentielles...  Read More >>

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on...  Read More >>

Part of a four-volume set, this book constitutes the refereed proceedings of the 7th International Conference on...  Read More >>

Helps learn to use MATLAB software to solve computational problems. This book explains how to enter and save data...  Read More >>

As individual needs have arisen in the fields of physics, electrical engineering and computational science, each...  Read More >>

Constitutes the proceedings of the 4th International Conference on Theory and Applications of Models of Computation,...  Read More >>

The last 15 years have seen an explosion of interest in wavelets with applications in fields such as image compression,...  Read More >>

Information geometry provides the mathematical sciences with a fresh framework of analysis. This book presents a...  Read More >>

This book explores the principal techniques of data mining: for classification, generation of association rules...  Read More >>

Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while...  Read More >>

The two volume set LNCS 4431 and LNCS 4432 constitutes the refereed proceedings of the 8th International Conference...  Read More >>

The advent of fast computers and the search for efficient algorithms revolutionized combinatorics and brought about...  Read More >>

In addition, the CD-ROM contains a complete solutions manual that includes detailed solutions to all the problems...  Read More >>