Mathematical theory of computation books

A study of the pseudo-random generator, a basic primitive in crytography which is useful for constructing a private...  Read More >>

This work constitutes the refereed proceedings of the International Conference on Crytography: Policy and Algorithms,...  Read More >>

Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic...  Read More >>

A complete coverage of decision mathematics (discrete or business mathematics) module for A-level examination syllabuses...  Read More >>

Das ""Kompendium Theoretische Informatik - eine Ideensammlung"" erganzt das Lehrbuch ""Theoretische Informatik -...  Read More >>

The proceedings in this text contain both surveys and reports in the areas of semigroups, automata and languages....  Read More >>

The proceedings in this text present papers in the ares of computer algorithms, databases and parallel processing....  Read More >>

This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral...  Read More >>

It is said that business re-engineering is part of our transition to a post-industrial society. The author's thesis...  Read More >>

This book constitutes the refereed proceedings of the 5th IMA Conference on Cryptography and Coding, held in Cirencester,...  Read More >>

An introduction to semigroup theory, with emphasis on various classes of regular semigroups. More than 150 exercises,...  Read More >>

This book describes some basic problems in computer graphics and computational geometry, and presents some practical...  Read More >>

These conference papers cover theoretical studies of various logical and conceptual tools along with the assessment...  Read More >>

This book helps you write computer solutions to mathematical problems at all levels. Now you can use your own computer...  Read More >>

The field of computational learning theory arose out of the desire to for­ mally understand the process of learning....  Read More >>

Aimed at students in advanced data structures courses, this work covers implementation in C++, details an explanation...  Read More >>

 Read More >>

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in...  Read More >>

These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based...  Read More >>

First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.  Read More >>

 Read More >>

Intends to help engineering students develop expertise in numerical methods and use them to solve problems of practical...  Read More >>

Taken from the WG Workshop series, the papers in this text reflect activities in the field of computer science-oriented...  Read More >>

This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC...  Read More >>

Presenting papers from the IEEE/Nagoya-University World Wisepersons Workshop, this volume covers the combination...  Read More >>