Jürgen F H Winkler, Courses

Jürgen F. H. WINKLER Courses

2001 - | 1996 - 2000 | 1991 - 1995 | 1986 - 1990 | 1981 - 1985 | 1971 - 1980

2001 -

Winter 2008/2009
Mechanical Program Verification (at ELTE in Budapest)
Winter 2007/2008
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Spring 2007
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
Winter 2006/2007
   Programmiersprachen [Programming Languages]
   Objektorientierte Programmierung [Object-Oriented Programming]
   Mechanical Program Verification (at ELTE in Budapest)
Spring 2006
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
Winter 2005/2006
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Spring 2005
Compilerbau [Compiler Construction]
Informatik 2 [Introduction to Programming 2]
Winter 2004/2005
Programmiersprachen [Programming Languages]
Informatik 1 [Introduction to Programming 1]
Spring 2004
Compilerbau [Compiler Construction]
Nebenläufige Programmierung [Concurrent Programming]
Winter 2003/2004
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Spring 2003
   Compilerbau [Compiler Construction]
   Nebenläufige Programmierung [Concurrent Programming]
   Seminar: Automatic Program Proving (agenda)
Winter 2002/2003
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]
Spring 2002
Compilerbau [Compiler Construction]
Seminar: C# - The New Programming Language (agenda)
Winter 2001/2002
   Programmiersprachen [Programming Languages]
   Objektorientierte Programmierung [Object-Oriented Programming]
   Seminar: The Programming Language Ada. (With C. Freining and H. Toparkus)
Spring 2001
Compilerbau [Compiler Construction]
Höhere Programmierung [Introduction to Programming] (agenda)

1996 - 2000 top of page

Winter 2000/2001
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
Spring 2000
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
Winter 1999/2000
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
Spring 1999
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
Winter 1998/1999
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
Spring 1998
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
Winter 1997/1998
Programmiersprachen [Programming Languages]
Nebenläufige Programmierung [Concurrent Programming]
Spring 1997
Compilerbau [Compiler Construction]
Objektorientierte Programmierung [Object-Oriented Programming]
Winter 1996/1997
Programmiersprachen [Programming Languages]
Seminar: Object-Oriented Design Patterns
Spring 1996
Programmiersprachen [Programming Languages]
Objektorientierte Programmierung [Object-Oriented Programming]

1991 - 1995 top of page

Winter 1995/1996
Informatik 1 & 2 [Introduction to Programming 1 & 2]
Zuverlässige und korrekte SW [Reliable and Correct SW]
Spring 1995
   Informatik 2 [Introduction to Programming 2]
   Softwaretechnik [Software Engineering]
   Objektorientierte SW [Object-Oriented SW]
Winter 1994/1995
   Informatik 1 [Introduction to Programming 1]
   Zuverlässige und korrekte SW [Reliable and Correct SW]
   Seminar: Software-Metriken [Software Metrics]
Spring 1994
Softwaretechnik [Software Engineering]
Objektorientierte SW [Object-Oriented SW]
Winter 1993/1994
Grundlagen der Programmiertechnik [Foundations of Programming]
Spring 1993
Winter 1992/1993
Compilerbau [Compiler Construction]
Seminar: Objektorientierte Programmierung [Object-Oriented Programming]

1986 - 1990 top of page

1981 - 1985 top of page

top of page