Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
---|---|---|---|---|
L.079.05700 Software Analysis (in English) Prof. Dr. Heike Wehrheim Di, 14. Okt. 2014 [09:00] - Di, 3. Feb. 2015 [11:00] |
Vorlesung (mit Übung) | |||
L.079.05701 Heuristische Suchverfahren (in English) Dr. Theodor Lettmann Do, 16. Okt. 2014 [16:00] - Do, 5. Feb. 2015 [18:00] |
Vorlesung (mit Übung) | |||
L.079.05715 Prolog and its application in interpreter construction and computational linguistics (in English) Prof. Dr. Stefan Böttcher Mo, 13. Okt. 2014 [09:00] - Mo, 1. Dez. 2014 [11:00] |
Vorlesung (mit Übung) | |||
L.079.05717 Konfiguration und Diagnose Prof. Dr. Hans Kleine Büning Mi, 15. Okt. 2014 [11:00] - Mi, 4. Feb. 2015 [13:00] |
Vorlesung (mit Übung) | |||
L.079.05718 Web Engineering (in English) Prof. Dr. Gregor Engels Mi, 22. Okt. 2014 [09:00] - Mi, 28. Jan. 2015 [09:21] |
Vorlesung (mit Übung) | |||
L.079.05725 Deductive verification (in English) Prof. Dr. Heike Wehrheim Mi, 15. Okt. 2014 [11:00] - Mi, 4. Feb. 2015 [13:00] |
Vorlesung (mit Übung) | |||
L.079.05726 Parallel Programming (in English) Prof. Dr. Uwe Kastens Mo, 13. Okt. 2014 [11:00] - Mo, 2. Feb. 2015 [13:00] |
Vorlesung (mit Übung) | |||
L.079.05728 Machine Learning II (in English) Prof. Dr. Eyke Hüllermeier Mi, 15. Okt. 2014 [09:00] - Mi, 4. Feb. 2015 [11:00] |
Vorlesung (mit Übung) | |||
L.079.08000 Seminar: Consistency in Concurrent Systems (in English) Prof. Dr. Heike Wehrheim |
Seminar | |||
L.079.08003 Seminar: Wissensbasierte Systeme Prof. Dr. Hans Kleine Büning |
Seminar | |||
L.079.08007 Seminar: Model-Driven Software Engineering for Intelligent Technical Systems (in English) Dr. Matthias Meyer |
Seminar | |||
L.079.08010 Seminar: Advanced Model-Based Techniques (in English) Prof. Dr. Gregor Engels |
Seminar | |||
L.079.08011 Seminar: Text compression and information retrieval (in English) Prof. Dr. Stefan Böttcher |
Seminar |