Frühere Proseminare
- Einführung in die Programmierung mit Java (SS 1999)
- EJB, PHP, XML & Co. (SS 2001)
- Formale Spezifikation mit Abstract State Machines (WS 2010/2011)
- Fortgeschrittene Anwendungstechniken für typische Informatiksysteme (WS 2011/2012)
- Funktionale Programmierung (SS 2003)
- Grundlagen der Informatik (SS 1995)
- Logikbasierte Programmiersprachen (WS 2011/2012, SS 2007, SS 2006)
- Logikbasierte Programmierung (WS 2005/2006, WS 2004/2005)
- Mathematisch-strukturelle Grundlagen der Informatik (WS 2008/2009, SS 2005, SS 2004)
- Modellierung mit UML 2.0 (SS 2008)
- Objektorientierte Software-Modellierung mit UML (SS 2000)
- Software Engineering (SS 1996)