Book titles in this series
-
-
Elements of Finite Model Theory
- Authors:
-
- Leonid Libkin
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Extremal Combinatorics
With Applications in Computer Science
- Authors:
-
- Stasys Jukna
- Copyright: 2001
Available Renditions
- Hard cover
- eBook
-
Information and Randomness
An Algorithmic Perspective
- Authors:
-
- Cristian S. Calude
- Copyright: 2002
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Introduction to Process Algebra
- Authors:
-
- Wan Fokkink
- Copyright: 2000
Available Renditions
- Hard cover
- Soft cover
- eBook
-
The Parametric Lambda Calculus
A Metamodel for Computation
- Authors:
-
- Simona Ronchi Della Rocca
- Luca Paolini
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Verification of Reactive Systems
Formal Methods and Algorithms
- Authors:
-
- Klaus Schneider
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Models of Massive Parallelism
Analysis of Cellular Automata and Neural Networks
- Authors:
-
- Max Garzon
- Copyright: 1995
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Structural Complexity I
- Authors:
-
- Jose L. Balcazar
- Josep Diaz
- Joaquim Gabarro
- Copyright: 1995
Available Renditions
- Hard cover
- Soft cover
- eBook
-
The Resolution Calculus
- Authors:
-
- Alexander Leitsch
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook