Domain Science and Engineering

Monographs in Theoretical Computer Science. an EATCS Series

Dines Bjørner Author
(2021)

Process Algebras for Petri Nets

Monographs in Theoretical Computer Science. an EATCS Series

Roberto Gorrieri Author
(2017)

Words and Graphs

Monographs in Theoretical Computer Science. an EATCS Series

Sergey Kitaev Author
Vadim Lozin Author
(2015)

Coping with Selfishness in...

Monographs in Theoretical Computer Science. an EATCS Series

Vittorio Bilò Author
Cosimo Vinci Author
(2023)

Deterministic Extraction from...

Monographs in Theoretical Computer Science. an EATCS Series

Ariel Gabizon Author
(2010)

Fault-Tolerant Search Algorithms

Monographs in Theoretical Computer Science. an EATCS Series

Ferdinando Cicalese Author
(2013)

Graph and Model Transformation

Monographs in Theoretical Computer Science. an EATCS Series

Hartmut Ehrig Author
Claudia Ermel Author
(2015)