====== Wintersemester 10/11 ======

=== Bachelor ===

[[:lehre:wise1011:technische_informatik]]
  * Vorlesung (V4/Ü2)
  * ECTS: 7
  * Betreuer:    [[:lehrstuhl:mitarbeiter:franke]], [[:lehrstuhl:mitarbeiter:biallas]]

[[:lehre:wise1011:HnP]]
  * Praktikum (4 Credits)	 
  * Betreuer: [[:lehrstuhl:mitarbeiter:schommer]], [[:lehrstuhl:mitarbeiter:diab]] 

[[:lehre:wise1011:design_patterns]]
  * Proseminar (2 Credits)
  * Betreuer: [[:lehrstuhl:mitarbeiter:franke]], [[:lehrstuhl:mitarbeiter:weise]]

=== Hauptstudium / M.Sc. ===

[[:lehre:wise1011:modellbasierte_Analyse]]
  * Praktikum
  * Betreuer: [[:lehrstuhl:mitarbeiter:merschen]], [[:lehrstuhl:mitarbeiter:polzer]]

[[:lehre:wise1011:formale_methoden]]
  * Vorlesung (V3/Ü1)
  * Betreuer: [[:lehrstuhl:mitarbeiter:brauer]], [[:lehrstuhl:mitarbeiter:gueckel]], [[:lehrstuhl:mitarbeiter:kamin]]

[[:lehre:wise1011:dynamische_systeme]]
  * Vorlesung (V3/Ü1)
  * Betreuer: [[:lehrstuhl:mitarbeiter:haensch]]