direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dr.-Ing. Elke Salecker

Frühere Veranstaltungen

Wintersemester 2008/2009
 
Integrierte Lehrveranstaltung: Maschinelle Verifikation von eingebetteten Systemen
Kolloquium: Forschungskolloquium
Sommersemester 2008
 
Kolloquium: Forschungskolloquium
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme
Wintersemester 2007/2008
 
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme
Kolloquium: Forschungskolloquium
Sommersemester 2007
 
Übung: Einführung in die Informatik II (Technikorientierung) (Übung)
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden
Wintersemester 2006/2007
 
Kolloquium: Forschungskolloquium
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden
Sommersemester 2006
 
Seminar (Blockveranstaltung): Programmierung Eingebetteter Systeme: Optimierungs- und Verifikationsmethoden

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe