|
101 |
Reconciling Event Structures with Modern Multiprocessors (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2020, Volume 6, Issue 2, page 4:1-4:3
|
|
|
102 |
Xantener Vorträge zur Geschichte des Niederrheins / 2008/2014
2017
|
|
|
|
103 |
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2017, Volume 3, Issue 2, page 16:1-16:2
|
|
|
|
104 |
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2017, Volume 3, Issue 2, page 15:1-15:2
|
|
|
|
105 |
Denkspurrillen
[Leipzig] : ERATA, [2016], 1. Auflage
|
|
|
|
106 |
Komplizierte Schwangerschaft
Bern : Hogrefe, 2016, [1. Aufl.]
|
|
|
|
107 |
Species of the genus Chrysotus Meigen, 1824 (Diptera: Dolichopodidae) from Japan, with descriptions of two new species
Enthalten in European journal of taxonomy 197
|
|
|
|
108 |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2016, Volume 5, Issue 11, page 1-28
|
|
|
|
109 |
Restaurierung des Kapitelsaals am St. Viktor Dom zu Xanten
Verein zur Erhaltung des Xantener Domes. - Xanten : Verein zur Erhaltung des Xantener Domes e.V., [2015]
|
|
|
|
110 |
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2015, Volume 5, Issue 1, page 197-206
|
|
Administration
