Auflistung D14 (2013) - Ausgezeichnete Informatikdissertationen nach Titel
-
Formale Spezifikationsebene 241-250
Anzeige der Dokumente 1-20 von 32
Martin, Marcel
121-130Pham, Vinh
171-180Reinbacher, Thomas
181-190Hölldobler, Steffen; et al.
Mitzlaff, Folke
141-150Steinberger, Markus
261-270Renner, Bernd-Christian
191-200Soeken, Mathias
241-250Hölldobler, Steffen; et al.
Martinez Esturo, Janick
131-140Forkert, Nils Daniel
31-40Tuengerthal, Max
281-290Kaufmann, Paul
71-80Shokri, Reza
231-240Salinger, Stephan
211-220