Coping with Selfishness in Congestion Games : Analysis and Design via LP Duality
Vittorio Bilo
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)
Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Download Now
Format: eBook (PDF)
Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas
Download Now
Format: eBook (PDF)
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella
Download Now
Format: eBook (PDF)
Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do
Mads Tofte
Download Now
Format: eBook (PDF)
Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics
Hartmut Ehrig
Download Now
Format: eBook (PDF)
Syntax-Directed Semantics : Formal Models Based on Tree Transducers
Zoltan Fulop
Download Now
Format: eBook (PDF)
