Mathematical theory of computation books

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods,...  Read More >>

On March 28~31, 1994 (Farvardin 8~11, 1373 by Iranian calendar), the Twenty­ fifth Annual Iranian Mathematics Conference...  Read More >>

Based on the author's considerable research, this book contains state-of-the-art reviews of work in drawing interpretation...  Read More >>

Although random variate generation with popular standard distributions have become part of every course on discrete...  Read More >>

This book constitutes the refereed proceedings of the 14th International Conference on Information Security, ISC...  Read More >>

This research monograph offers an introduction to advanced quantum field theoretical techniques for many particle...  Read More >>

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology...  Read More >>

Each polynomial in n variables can be written as sum of monomials with nonzero coefficients: P(:e) = L caR[a](:e),...  Read More >>

Temporal and modal logic, process calculus, and model checking have become essential software techniques for the...  Read More >>

Developers must take time from writing and debugging code to cope with the operational problems thrust upon them...  Read More >>

Since the early seventies concepts of specification have become central in the whole area of computer science. The...  Read More >>

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey...  Read More >>

This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning...  Read More >>

This book constitutes the refereed proceedings of the Fourth International Symposium on Algorithmic Game Theory,...  Read More >>

This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Decision Theory,...  Read More >>

Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying...  Read More >>

The microcomputer has put a vast amount of computational power in the hands of the practicing chemical engineer....  Read More >>

The OrIgIn of this monograph is a course entitled ""Semantics­ directed Compiler Generation"" which Professor Neil...  Read More >>

Particular topics of""interest include the design of type systems appropriate for database work, the representation...  Read More >>

Replacement systems, such as term rewriting systems, tree manipulat­ ing systems, and graph grammars, have been...  Read More >>

This volume is about ""Structure"". The coexistence and interaction of so many structures (atoms, hu­ mans, cosmos...  Read More >>

In the theory of automata this observation has led to the concepts of pro­ ducts and complete systems of automata....  Read More >>

This book constitutes the refereed proceedings of the 8th European Performance Engineering Workshop, EPEW 2011,...  Read More >>

The growing demand for systems of ever-increasing complexity and precision has stimulated the need for higher level...  Read More >>

'Et moi ...~ si j'avait su comment en revenir. One service mathematics has rendered thl je n'y serais point aile:...  Read More >>