Book titles in this series
-
-
Simulation Algorithms for Computational Systems Biology
- Authors:
-
- Luca Marchetti
- Corrado Priami
- Vo Hong Thanh
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Models of Computation
- Authors:
-
- Roberto Bruni
- Ugo Montanari
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Decision Procedures
An Algorithmic Point of View
- Authors:
-
- Daniel Kroening
- Ofer Strichman
- Copyright: 2016
Available Renditions
- Hard cover
- Soft cover
- eBook
-
An Introduction to Online Computation
Determinism, Randomization, Advice
- Authors:
-
- Dennis Komm
- Copyright: 2016
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Introduction to Concurrency Theory
Transition Systems and CCS
- Authors:
-
- Roberto Gorrieri
- Cristian Versari
- Copyright: 2015
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Petri Net Synthesis
- Authors:
-
- Eric Badouel
- Luca Bernardinello
- Philippe Darondeau
- Copyright: 2015
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Grammatical Picture Generation
A Tree-Based Approach
- Authors:
-
- Frank Drewes
- Copyright: 2006
Available Renditions
- Hard cover
- Soft cover
-
Finite Model Theory and Its Applications
- Authors:
-
- Erich Grädel
- Phokion G. Kolaitis
- Leonid Libkin
- Maarten Marx
- Copyright: 2007
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Extremal Combinatorics
With Applications in Computer Science
- Authors:
-
- Stasys Jukna
- Copyright: 2011
Available Renditions
- Hard cover
- Soft cover
- eBook