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