HOME | ENGLISH | IMPRESSUM | KIT

Alte Lehrveranstaltungen

Wintersemester 2015/2016

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Programmierparadigmen
Übung Programmierparadigmen - Übungen
Praktikum Compilerpraktikum

Sommersemester 2015

Art Veranstaltung
Vorlesung Sprachtechnologie und Compiler
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Semantik von Programmiersprachen
Übung Übung zu Sprachtechnologie und Compiler
Übung Übungen zu Fortgeschrittene Objektorientierung
Übung Übungen zu Semantik von Programmiersprachen

Wintersemester 2014/2015

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Programmierparadigmen
Übung Programmierparadigmen - Übungen
Praktikum Compilerpraktikum
Seminar Software-Sicherheitsanalyse
Projektpraktikum PSE: Lambda das Spiel

Sommersemester 2014

Art Veranstaltung
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Sprachtechnologie und Compiler
Übung Übung zu Sprachtechnologie und Compiler
Übung Übungen zu Fortgeschrittene Objektorientierung
Projektpraktikum PSE: Sudoku

Wintersemester 2013/2014

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Programmierparadigmen
Übung Programmierparadigmen - Übungen
Projektpraktikum PSE: Alligatoren lehren Lambda

Sommersemester 2013

Art Veranstaltung
Vorlesung Sprachtechnologie und Compiler
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Praxis der Softwareentwicklung
Übung Übung zu Sprachtechnologie und Compiler
Übung Übungen zu Fortgeschrittene Objektorientierung
Praktikum Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie

Wintersemester 2012/2013

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Programmierparadigmen
Übung Programmierparadigmen - Übungen
Praktikum Compilerpraktikum

Sommersemester 2012

Art Veranstaltung
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Semantik von Programmiersprachen
Vorlesung Sprachtechnologie und Compiler
Übung Übung zu Sprachtechnologie und Compiler
Übung Übungen zu Fortgeschrittene Objektorientierung
Übung Übungen zu Semantik von Programmiersprachen
Übungsschein Programmieren für Wiederholer

Wintersemester 2011/2012

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Praxis der Softwareentwicklung - SudoPhone: Sudoku für Smartphones mit Android
Vorlesung Programmierparadigmen
Übung Programmieren
Übung Programmierparadigmen - Übungen

Sommersemester 2011

Art Veranstaltung
Vorlesung (Compiler II)
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Praxis der Softwareentwicklung - Smartphoneprogrammierung in Java
Übung Fortgeschrittene Objektorientierung
Praktikum Compilerpraktikum
Praktikum Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie
Seminar Softwaresicherheit

Wintersemester 2010/2011

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Praxis der Softwareentwicklung: TauchcomputerApp - Sicherheitskritische Software für Android
Vorlesung Programmierparadigmen
Vorlesung Sprachtechnologie und Compiler
Übung Programmierparadigmen - Übungen
Übung Übung zu Sprachtechnologie und Compiler

Sommersemester 2010

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Praxis der Softwareentwicklung - Handyprogrammierung in Java
Vorlesung Semantik von Programmiersprachen
Übung Übungen zu Semantik von Programmiersprachen
Praktikum Compilerpraktikum
Praktikum Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie
Seminar Programmkalküle für Parallelität
Seminar Sprachen für Parallelprogrammierung
Übungsschein Programmieren für Wiederholer
Abschlussaufgaben Programmieren für Wiederholer

Wintersemester 2009/2010

Art Veranstaltung
Vorlesung Praxis der Softwareentwicklung
Vorlesung Praxis der Softwareentwicklung - Handyprogrammierung in Java
Vorlesung Programmieren
Vorlesung Sprachtechnologie und Compiler
Übung Übung zu Sprachtechnologie und Compiler
Tutorium Tutorien zu Programmieren

Sommersemester 2009

Art Veranstaltung
Vorlesung Fortgeschrittene Objektorientierung
Vorlesung Sprachtechnologie und Compiler II
Vorlesung Theorembeweiser und ihre Anwendungen
Übung Übungen zu Fortgeschrittene Objektorientierung
Übung Übungen zu Sprachtechnologie und Compiler II
Übung Übungen zu Theorembeweiser und ihre Anwendungen
Praktikum Compilerpraktikum
Übungsschein Programmieren für Wiederholer

Wintersemester 2008/2009

Art Veranstaltung
Vorlesung Programmieren
Vorlesung Sprachtechnologie und Compiler 1
Übung Übungen zu Sprachtechnologie und Compiler
Tutorium Tutorien zu Programmieren

Sommersemester 2008

Art Veranstaltung
Vorlesung Compiler II
Vorlesung Fortgeschrittene Objektorientierung
Übung Übungen zu Compiler II
Übung Übungen zu Fortgeschrittene Objektorientierung