direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Elke Salecker

Previous Courses

Winter term 2008/2009
Integrierte Lehrveranstaltung: Maschinelle Verifikation von eingebetteten Systemen
Kolloquium: Forschungskolloquium


Summer Term 2008
Kolloquium: Forschungskolloquium
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme
Winter term 2007/2008
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme
Kolloquium: Forschungskolloquium
Summer Term  2007
Übung: Einführung in die Informatik II (Technikorientierung) (Übung)
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden
Winter Term 2006/2007
Kolloquium: Forschungskolloquium
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden
Summer Term 2006
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe