Inhalt des Dokuments
Habilitationsschrift: Methoden der Analyse
kontinuierlicher Systeme |
Lehrprobe (19.
November 2008) - Stabilisierung linearer Systeme unter
Berücksichtigung eines ratenbeschränkten deterministischen Kanals in
der Rückführung [1] |
Habilitationsvortrag (21. Januar 2009) -
Bestimmung diskreter Abstraktionen beliebiger Gedächtnistiefe
[2] |
Erteilung der Lehrbefähigung
für das Fachgebiet : Systemtheorie |
Gutachter: Prof. Dr. Dr. Boche, Prof. Dr. Mathis
(Universität Hannover), Prof. Dr. Barton (Massachusetts Institute of
Technology) |
Habilitationsschrift: Multiparadigm Constraint
Programming Languages |
Lehrprobe
(26. Mai 2009) - Techniken der automatischen Speicherverwaltung
(Garbage Collection) [3] |
Habilitationsvortrag (10. Juni 2009) -
Constraint-basierte Multiparadigmen-Programmiersprachen (Multiparadigm Constraint Programming Languages) [4] |
Erteilung der Lehrbefähigung für das
Fachgebiet : Informatik |
Gutachter: Prof. Dr. Pepper, Prof. Dr.-Ing.
Jähnichen, Prof. Dr. Kazunori Ueda (Waseda University, Tokyo) |
Archiv/Archive
- 2015 [5]
- 2014 [6]
- 2013 [7]
- 2012 [8]
- 2011 [9]
- 2010 [10]
- 2009 [11]
- 2008 [12]
- 2007 [13]
- 2006 [14]
- 2005 [15]
- 2003 [16]
- 2002 [17]
- 2001 [18]
- Digitales Repositorium [19]
itationen/archiv/2009/lehrprobe_reissig/
itationen/archiv/2009/habil_reissig/
itationen/archiv/2009/lehrprobe_hofstedt/
itationen/archiv/2009/habil_hofstedt/
itationen/archiv/2015/
itationen/archiv/2014/
itationen/archiv/2013/
itationen/archiv/2012/
itationen/archiv/2011/
litationen/archiv/2010/
litationen/archiv/2009/
litationen/archiv/2008/
litationen/archiv/2007/
litationen/archiv/2006/
litationen/archiv/2005/
litationen/archiv/2003/
litationen/archiv/2002/
litationen/archiv/2001/
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
Copyright TU Berlin 2008