Mathematical theory of computation books

This text develops the theory of subrecursive programming systems and applies it to the more general theory of structural...  Read More >>

This text is a systematic treatment of algorithms and complexity in the related areas of matrix and polynomial computations....  Read More >>

This volume contains the final revised versions of the best papers presented at the First International Workshop...  Read More >>

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation...  Read More >>

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94,...  Read More >>

 Read More >>

Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern,...  Read More >>

Brings together past and current research into one volume. The papers are based on a workshop which brought together...  Read More >>

This text treats a cellular automation as a model of algorithmic-oriented architectures for array data processing....  Read More >>

This book is the proceedings of the Second Joint European-US Workshop on Applications of Invariance to Computer...  Read More >>

This volume contains a selection of papers presented at the Conference of the European Association for Computer...  Read More >>

BL Indispensable reference for both the pure logician and the theoretical computer scientist This long awaited...  Read More >>

 Read More >>

This volume documents the results and presentations relating to the use of wavelet theory and other methods in surface...  Read More >>

These proceedings cover evolutionary programming, evolution strategies and genetic algorithms. Specific research...  Read More >>

Describes the design of a complete, flexible system for perceptual organization in computer vision using graph theoretic...  Read More >>

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held...  Read More >>

The 26 papers are organized in sections on block ciphers, stream ciphers, software performance, cryptanalysis, hash...  Read More >>

This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held...  Read More >>

The contributors to this conference presented research papers discussing algorithms and data structures in all areas...  Read More >>

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning,...  Read More >>

Reports recent research in the design and use of curve and surface methods as applied to engineering design and...  Read More >>

Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft...  Read More >>

 Read More >>

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer...  Read More >>