Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | Vorlesung | SS 2017 | Seminarraum 236 (Geb. 50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
SAT Solving in der Praxis | Vorlesung | Seminarraum 236 (Geb. 50.34) |
|
Übungen zur Vorlesung SAT Solving in der Praxis | Übung | Seminarraum 301 (Geb. 50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Programmieren | Vorlesung (V) | WS 13/14 | |
Tutorenseminar zu Programmieren | Vorlesung (V) | WS 13/14 | |
Bug Finding Techniques | Seminar | WS 2013/2014 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Programmieren für Wiederholer | Übungsschein | Sommersemester 2013 | |
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | Vorlesung (V) | SS 2013 | |
Bug Finding Techniques | Seminar (S) | SS 2013 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | WS 12/13 | |
Programmieren | Vorlesung | WS 12/13 |
30.95 Audimax 50.34 Räume -101, -102, -118, -119 (Videoübertragung) |
Tutorenseminar zu Programmieren | Vorlesung | WS 12/13 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | WS 11/12 |
Titel | Typ | Semester | Ort |
---|---|---|---|
Bug Finding Techniques | Seminar | Wintersemester 2010/11 | Seminarraum 236 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Computational Complexity II | Vorlesung | Sommersemester 2010 | Seminarraum 301 (50.34) |
Termersetzungssysteme | Vorlesung | Sommersemester 2010 | Seminarraum 131 (50.34) |
Seminar: Software-Model-Checking | Seminar | Sommersemester 2010 | Seminarraum 131 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Entscheidungsverfahren für die Software-Verifikation | Vorlesung | Seminarraum 301 (50.34) |
|
Übungen zur Vorlesung Entscheidungsverfahren | Übung | Seminarraum -109 (50.34 UG) | |
Computational Complexity | Vorlesung | Seminarraum -109 (50.34 UG) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Model Checking | Vorlesung | Seminarraum 131 (50.34) |
|
Übungen zur Vorlesung Model Checking | Übung | Seminarraum -107 (50.34 UG) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Diplomanden- und Mitarbeiterseminar | Seminar | Seminarraum 131 (50.34) |
|
General Purpose GPU Programming | Praktikum | Hauptdiplom | Rechnerraum 305 (50.34) |
Titel | Typ | Semester | Ort |
---|---|---|---|
Seminar SAT-Solving | Seminar | Hauptdiplom | Seminarraum -107 (50.34 UG) |