Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Download Now
Format: eBook (PDF)
Information and Randomness : An Algorithmic Perspective
Cristian Calude
Download Now
Format: eBook (PDF)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use. Volume 1
Kurt Jensen
Download Now
Format: eBook (PDF)
Incomplete Information: Structure, Inference, Complexity
Stephane P. Demri
Download Now
Format: eBook (PDF)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use, Volume 1
Kurt Jensen
Download Now
Format: eBook (PDF)
Duration Calculus : A Formal Approach to Real-Time Systems
Chaochen Zhou
Download Now
Format: eBook (PDF)
Semantic Integration of Heterogeneous Software Specifications
Martin Groe-Rhode
Download Now
Format: eBook (PDF)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Download Now
Format: eBook (PDF)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Download Now
Format: eBook (PDF)
Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas
Download Now
Format: eBook (PDF)
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information
Ferdinando Cicalese
Download Now
Format: eBook (PDF)