Lehrangebot Wintersemester 2008/2009
Abteilung Sichere und zuverlässige Softwaresysteme
- Logik [3V] (Leucker)
- Termin:
Zeit |
Raum |
Di | 09:45-11:15 | V38.01 |
Do | 09:45-11:15 (14-tg.) | V38.01 |
- Zielgruppe: Informatik (Grundstudium), Softwaretechnik (Grundstudium)
- Logik - Übungen A [1Ü] (Leucker / Reuß)
- Termin:
Zeit |
Raum |
Di | 14:00-15:30 (14-tg.) | 0.118 |
Di | 15:45-17:15 (14-tg.) | 0.124 |
Do | 17:30-19:00 (14-tg.) | 0.118 |
Do | 17:30-19:00 (14-tg.) | 0.124 |
Fr | 09:45-11:15 (14-tg.) | 0.124 |
- Zielgruppe: Informatik (Grundstudium)
- Grundlagen der Softwarezuverlässigkeit [3V] (Leucker)
- Termin:
Zeit |
Raum |
Do | 11:30-13:00 | 0.108 |
Di | 11:30-13:00 (14-tg.) | 0.108 |
- Zielgruppe: Informatik (Hauptstudium)
- Grundlagen der Softwarezuverlässigkeit [1Ü] (Leucker / Wiss.MA)
- Termin:
Zeit |
Raum |
Di | 11:30-13:00 (14-tg.) | 0.108 |
- Zielgruppe: Informatik (Hauptstudium)
- Networks and Processes [3V] (Nowotka)
- Termin:
Zeit |
Raum |
Do | 14:00-15:30 | V47.05 |
Do | 15:45-17:15 (14-tg.) | V47.05 |
- Zielgruppe: Informatik (Hauptstudium), Softwaretechnik (Hauptstudium), Information Technology, Elektrotechnik und Informationstechnik
- Networks and Processes [1Ü] (Nowotka)
- Termin:
Zeit |
Raum |
Do | 15:45-17:15 (14-tg.) | V47.05 |
- Zielgruppe: Informatik (Hauptstudium), Softwaretechnik (Hauptstudium), Information Technology, Elektrotechnik und Informationstechnik
- Codierungstheorie [2V] (Reuß)
- Termin:
Zeit |
Raum |
Di | 11:30-13:00 | 0.124 |
- Zielgruppe: Informatik (Hauptstudium)
- Codierungstheorie [1Ü] (Reuß)
- Termin:
Zeit |
Raum |
Fr | 11:30-13:00 (14-tg.) | 0.124 |
- Zielgruppe: Informatik (Hauptstudium)
- Oberseminar Sichere und zuverlässige Softwaresysteme [2K] (Leucker)
- Termin:
Zeit |
Raum |
Nach Vereinbarung | | |
- Zielgruppe: Informatik (Hauptstudium)
- Logik - Übungen B [1Ü] (Leucker / Reuß)
- Termin:
Zeit |
Raum |
Mo | 09:45-11:15 (14-tg.) | 0.447 |
Mo | 11:30-13:00 (14-tg.) | 0.457 |
Mo | 17:30-19:00 (14-tg.) | 0.118 |
- Zielgruppe: Softwaretechnik (Grundstudium)