|
111 |
Krieg und Frieden
Lüneburg : Nordost-Inst., 2020
|
|
|
112 |
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
|
|
|
|
113 |
Xantener Vorträge zur Geschichte des Niederrheins / 2008/2014
2017
|
|
|
|
114 |
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
|
|
|
|
115 |
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
|
|
|
|
116 |
Denkspurrillen
[Leipzig] : ERATA, [2016], 1. Auflage
|
|
|
|
117 |
Komplizierte Schwangerschaft
Bern : Hogrefe, 2016, [1. Aufl.]
|
|
|
|
118 |
Species of the genus Chrysotus Meigen, 1824 (Diptera: Dolichopodidae) from Japan, with descriptions of two new species
Enthalten in European journal of taxonomy 197
|
|
|
|
119 |
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
|
|
|
|
120 |
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]
|
|
Administration
