Monographs in Theoretical Computer Science. An EATCS Series
Vinci / Bilò
Coping with Selfishness in Congestion Games
Coping with Selfishness in Congestion Games
Analysis and Design via LP Duality
Bilò / Vinci
Coping with Selfishness in Congestion Games
Coping with Selfishness in Congestion Games
Analysis and Design via LP Duality
Bjørner
Domain Science and Engineering
Domain Science and Engineering
A Foundation for Software Development
Gawiejnowicz
Models and Algorithms of Time-Dependent Scheduling
Models and Algorithms of Time-Dependent Scheduling
2nd ed. 2020
Ehrig / Ermel / Golas
Graph and Model Transformation
Graph and Model Transformation
General Framework and Applications
Gorrieri
Process Algebras for Petri Nets
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems