Lehrangebot Wintersemester 2007/2008
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 B [1Ü] (Leucker / Reuß)
  • Termin:

    Zeit		Raum
    Mo	09:45-11:15 (14-tg.)	0.447
    Di	14:00-15:30 (14-tg.)	0.118
    Di	15:45-17:15 (14-tg.)	0.124
    Mi	15:45-17:15 (14-tg.)	0.447
    Mi	15:45-17:15 (14-tg.)	0.463

  • 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)
  • 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 A [1Ü] (Leucker / Reuß)
  • Termin:

    Zeit		Raum
    Mo	09:45-11:15 (14-tg.)	0.118
    Mo	11:30-13:00 (14-tg.)	0.457
    Mo	17:30-19:00 (14-tg.)	0.118

  • Zielgruppe: Softwaretechnik (Grundstudium)