Jens Knoop
Fakultät für Informatik
Programmiersprachen und Übersetzer

Frühere Semester

Technische Universität Wien

• Lehre SS 2019
• Lehre WS 2018/2019

• Lehre SS 2018
• Lehre WS 2017/2018

• Lehre SS 2017
• Lehre WS 2016/2017

• Lehre SS 2016
• Lehre WS 2015/2016

• Lehre SS 2015
• Lehre WS 2014/2015

• Lehre SS 2014
• Lehre WS 2013/2014

• Lehre SS 2013
• Lehre WS 2012/2013

• Lehre SS 2012
• Lehre WS 2011/2012

• Lehre SS 2011
• Lehre WS 2010/2011

• Lehre SS 2010
• Lehre WS 2009/2010

• Lehre SS 2009
• Lehre WS 2008/2009

• Lehre SS 2008
• Lehre WS 2007/2008

• Lehre SS 2007
• Lehre WS 2006/2007

• Lehre SS 2006
• Lehre WS 2005/2006

• Lehre SS 2005
• Lehre WS 2004/2005

• Lehre SS 2004
• Lehre WS 2003/2004

Andere Universitäten

The FernUniversität / University of Hagen	WS 2002/03 Software-Architektur (V2+Ü2) Programmanalyse: Prinzipien und Anwendungen (V2+Ü2) Abstrakte Interpretation und Model-Checking (S2) SS 2002 Einführung in die objektorientierte Programmierung (V4+Ü2) Formale Methoden in der Software-Entwicklung (S2)
University of Dortmund	WS 2001/02 Datenstrukturen, Algorithmen und Programmierung I (2x Ü2) SS 2001 Theorie der Programmierung (V4+Ü2) (Theoretische Stammvorlesung) WS 2000/01 Programmiersprachen und ihre Übersetzer II (V2+Ü2) (Praktische Stammvorlesung) SS 2000 Theorie der Programmierung (V4+Ü2) (Theoretische Stammvorlesung) WS 1999/2000 Programmiersprachen und ihre Übersetzer II (V2+Ü2) (Praktische Stammvorlesung) SS 1999 Theorie der Programmierung (V4+Ü2) (Theoretische Stammvorlesung) WS 1998/99 Optimierungstechniken im Übersetzerbau (V2+Ü2)
University of Passau	SS 1998 Grundlagen der Informatik II (V3+Ü2) Parallele Optimierung (V2) Innovative Methoden zur Optimierung paralleler Programme (S2) WS 1997/98 Grundlagen der Informatik I (V4+Ü3) SS 1997 Effiziente Analysetechniken (V2+Ü2) WS 1995/96 Optimierende Compiler II (V2+Ü2) Formale Methoden zur statischen Analyse objektorientierter Programme (S2) SS 1995 Optimierende Compiler I (V2+Ü2) WS 1993/94 Analyse und Verifikation (V2+Ü2)