Auflistung D14 (2013) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum
-
Vorwort 3-4
-
Formale Spezifikationsebene 241-250
Anzeige der Dokumente 1-20 von 32
Lausser, Ludwig Maximilian
111-120Klement, Sascha
81-90Tatu, Andrada
271-280Fischer, Ulrike
21-30Gemünde, Mike
41-50Shokri, Reza
231-240Mitzlaff, Folke
141-150Hölldobler, Steffen
3-4Hölldobler, Steffen; et al.
Hofbauer, Heinz
51-60Reinbacher, Thomas
181-190Langer, Alexander
101-110Soeken, Mathias
241-250Martinez Esturo, Janick
131-140Wachsmann, Christian
291-300Renner, Bernd-Christian
191-200Martin, Marcel
121-130