Book titles in this series

An Introduction to Kolmogorov Complexity and Its Applications
Authors:
Ming Li
Paul Vitanyi
- Copyright: 1997
Available Renditions
- Hard cover
- eBook
Computability and Complexity Theory
Authors:
Steven Homer
Alan L. Selman
- Copyright: 2001
Available Renditions
- Hard cover
- Soft cover
- eBook
Verification of Sequential and Concurrent Programs
Authors:
Krzysztof R. Apt
Ernst-Rüdiger Olderog
- Copyright: 1997
Available Renditions
- Hard cover
- eBook
A Recursive Introduction to the Theory of Computation
Authors:
Carl Smith
- Copyright: 1994
Available Renditions
- Hard cover
- Soft cover
- eBook
Deduction Systems
Authors:
Rolf Socher-Ambrosius
Patricia Johann
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook
Descriptive Complexity
Authors:
Neil Immerman
- Copyright: 1999
Available Renditions
- Hard cover
- Soft cover
- eBook
Logic for Applications
Authors:
Anil Nerode
Richard A. Shore
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook
On Concurrent Programming
Authors:
Fred B. Schneider
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook
Refinement Calculus

A Systematic Introduction
Authors:
Ralph-Johan Back
Joakim Wright
- Copyright: 1998
Available Renditions
- Soft cover
- eBook
Understanding Concurrent Systems
Authors:
A.W. Roscoe
- Copyright: 2010
Available Renditions
- Hard cover
- Soft cover
- eBook

Previous page
1
…
6
7
8
9
10
Next page