Book titles in this series

Exact Exponential Algorithms
Authors:
Fedor V. Fomin
Dieter Kratsch
- Copyright: 2010
Available Renditions
- Hard cover
- Soft cover
- eBook
Graphs and Algorithms in Communication Networks

Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Editors:
Arie Koster
Xavier Muñoz
- Copyright: 2010
Available Renditions
- Hard cover
- Soft cover
- eBook
Theoretical Computer Science

Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Authors:
Juraj Hromkovič
- Copyright: 2011
Available Renditions
- Hard cover
- Soft cover
Dissemination of Information in Optical Networks:

From Technology to Algorithms
Authors:
Subir Bandyopadhyay
- Copyright: 2008
Available Renditions
- Hard cover
- Soft cover
- eBook
Temporal Logic and State Systems
Authors:
Fred Kröger
Stephan Merz
- Copyright: 2008
Available Renditions
- Hard cover
- Soft cover
- eBook
Modelling Distributed Systems
Authors:
Wan Fokkink
- Copyright: 2007
Available Renditions
- Hard cover
- Soft cover
- eBook
Abstract Computing Machines

A Lambda Calculus Perspective
Authors:
Werner Kluge
- Copyright: 2005
Available Renditions
- Hard cover
- Soft cover
- eBook
Decision Procedures

An Algorithmic Point of View
Authors:
Daniel Kroening
Ofer Strichman
- Copyright: 2008
Available Renditions
- Hard cover
- Soft cover
- eBook
Universal Artificial Intelligence

Sequential Decisions Based on Algorithmic Probability
Authors:
Marcus Hutter
- Copyright: 2005
Available Renditions
- Hard cover
- Soft cover
- eBook
A Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors
Authors:
R. Kurki-Suonio
- Copyright: 2005
Available Renditions
- Hard cover
- Soft cover
- eBook