Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Download Now
Format: eBook (PDF)
Syntax-Directed Semantics : Formal Models Based on Tree Transducers
Zoltan Fulop
Download Now
Format: eBook (PDF)
Relations and Graphs : Discrete Mathematics for Computer Scientists
Gunther Schmidt
Download Now
Format: eBook (PDF)
Iteration Theories : The Equational Logic of Iterative Processes
Stephen L. Bloom
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)
Coping with Selfishness in Congestion Games : Analysis and Design via LP Duality
Vittorio Bilo
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)