HOME | DEUTSCH | IMPRESSUM | KIT

Old Courses

Wintersemester 2015/2016

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Common Excercises Programming Paradigms - Exercises
Laboratory Compiler Lab

Sommersemester 2015

Type Course
Lecture Language Technology and Compilers
Lecture Advanced Object-Orientation
Lecture Semantics of programming languages
Lecture Software Engineering Practice
Common Excercises Tutorial for Language Technology and Compilers
Common Excercises Advanced Object-Orientation Excercises
Common Excercises Tutorial for Semantics of programming languages

Wintersemester 2014/2015

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Common Excercises Programming Paradigms - Exercises
Laboratory Compiler Lab
Seminary Software Security Analysis
Project Laboratory PSE: Lambda the Game

Sommersemester 2014

Type Course
Lecture Advanced Object-Orientation
Lecture Language Technology and Compilers
Lecture Software Engineering Practice
Common Excercises Advanced Object-Orientation Excercises
Common Excercises Tutorial for Language Technology and Compilers
Project Laboratory PSE: Sudoku

Wintersemester 2013/2014

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Common Excercises Programming Paradigms - Exercises
Project Laboratory PSE: Alligators teach Lambda

Sommersemester 2013

Type Course
Lecture Language Technology and Compiler
Lecture Advanced Object-Orientation
Lecture Software Engineering Practice
Common Excercises Tutorial for Language Technology and Compiler
Common Excercises Advanced Object-Orientation Excercises
Laboratory Theorem prover lab: applications in programming languages

Wintersemester 2012/2013

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Common Excercises Programming Paradigms - Exercises
Laboratory Compilerpraktikum

Sommersemester 2012

Type Course
Lecture Advanced Object-Orientation
Lecture Language Technology and Compiler
Lecture Semantics of programming languages
Lecture Software Engineering Practice
Common Excercises Advanced Object-Orientation Excercises
Common Excercises Tutorial for Language Technology and Compiler
Common Excercises Tutorial for Semantics of programming languages
Übungsschein Programmieren für Wiederholer

Wintersemester 2011/2012

Type Course
Lecture Programming Paradigms
Lecture Software Engineering Practice
Lecture Software Engineering Practice - SudoPhone
Common Excercises programming
Common Excercises Programming Paradigms - Exercises

Sommersemester 2011

Type Course
Lecture (Compiler II)
Lecture Advanced object-orientation
Lecture Software Engineering Practice
Lecture Software Engineering Practice - Smartphoneprogramming in Java
Common Excercises Advanced object-orientation
Laboratory Compilerpraktikum
Laboratory Theorem prover lab: applications in programming languages
Seminary Software security

Wintersemester 2010/2011

Type Course
Lecture Language Technology and Compiler
Lecture Programming Paradigms
Lecture Software Engineering Practice
Lecture Software Engineering Practice: DivingComputerApp - Security-sensitive Applications for Android
Common Excercises Programming Paradigms - Exercises
Common Excercises Tutorial for Language Technology and Compiler

Sommersemester 2010

Type Course
Lecture Semantics of programming languages
Lecture Software Engineering Practice
Lecture Software Engineering Practice - Java Development for Cellphones
Common Excercises Tutorial for Semantics of programming languages
Laboratory Compilerpraktikum
Laboratory Theorem prover lab: applications in programming languages
Seminary Languages for Parallel Programming
Seminary Programmkalküle für Parallelität
Übungsschein Programmieren für Wiederholer
Abschlussaufgaben Programmieren für Wiederholer

Wintersemester 2009/2010

Type Course
Lecture Language Technology and Compiler
Lecture Programmieren
Lecture Software Engineering Practice
Lecture Software Engineering Practice - Java Development for Cellphones
Common Excercises Language Technology and Compiler - exercises
Tutorial Tutorien zu Programmieren

Sommersemester 2009

Type Course
Lecture Advanced object-orientation
Lecture Compiler II
Lecture Theorem provers and their applications
Common Excercises Advanced object-orientation - exercises
Common Excercises Theorem provers and their applications - exercises
Common Excercises Übungen zu Compiler II
Laboratory Compilerpraktikum
Übungsschein Programmieren für Wiederholer

Wintersemester 2008/2009

Type Course
Lecture Language Technology and Compiler 1
Lecture Programming
Common Excercises Übungen zu Sprachtechnologie und Compiler
Tutorial Tutorial for Programming

Sommersemester 2008

Type Course
Lecture Compiler II
Lecture Fortgeschrittene Objektorientierung
Common Excercises Übungen zu Compiler II
Common Excercises Übungen zu Fortgeschrittene Objektorientierung