Mathematical theory of computation books

The goals of this book are twofold: first to present a coherent and systematic treatment of the foundations; secondly...  Read More >>

This book can serve several purposes. It can be used as a reference and for self-study by readers who want to learn...  Read More >>

Artificial neural networks provide a simple framework for describing learning from examples. This coherent account...  Read More >>

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison...  Read More >>

This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can...  Read More >>

The second edition of this successful textbook provides an up-to-date introduction both to distributed algorithms...  Read More >>

 Read More >>

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the...  Read More >>

 Read More >>

 Read More >>

 Read More >>

 Read More >>

Gives insights, notations, and analogies to help students describe and think about algorithms like an expert, without...  Read More >>

In the transmission of information storage, preventing noise and/or eavesdropping is essential. This undergraduate...  Read More >>

 Read More >>

Quantum physics has some spectacular applications in computer science, and this book is a concise introduction to...  Read More >>

The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh...  Read More >>

If you want to understand (or teach) quantum computing without really advanced maths, this textbook is for you....  Read More >>

This undergraduate introduction to computational complexity gives a wide perspective on two central issues in theoretical...  Read More >>

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. The volume includes...  Read More >>

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded...  Read More >>

These papers cover the areas related to phonology, morphology and POS-Tagging, acquisition, language resources,...  Read More >>

Since the 1920s, ""risk assessments"" of various kinds have been used in parole hearings, but the current availability...  Read More >>

There are two aspects to the theory of Boolean algebras; Chapter...  Read More >>

Here, notation is not so much used in the sense of ""syntactic sugar"", but rather in the sense of abstract syntax,...  Read More >>