Visitenkarte - Alle Veranstaltungen für "Cedric Richter"
Aktuelle Lehrveranstaltungen für Cedric Richter
Wintersemester 2023/2024
- 2.01.401 Grundlagen der Theoretischen Informatik (V)
- 2.01.401a Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401b Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401c Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401d Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401e Grundlagen der Theoretischen Informatik (Ü)
- 2.01.401f Grundlagen der Theoretischen Informatik (Ü)
Sommersemester 2023
- 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
- 2.01.801-B Forschungsseminar Formale Methoden
Wintersemester 2022/2023
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401a Übung Grundlagen der Theoretischen Informatik
- 2.01.401b Übung Grundlagen der Theoretischen Informatik
- 2.01.401c Übung Grundlagen der Theoretischen Informatik
- 2.01.401d Übung Grundlagen der Theoretischen Informatik
- 2.01.401e Übung Grundlagen der Theoretischen Informatik
Sommersemester 2022
Wintersemester 2021/2022
- 2.01.401a Übung Grundlagen der Theoretischen Informatik
- 2.01.401b Übung Grundlagen der Theoretischen Informatik
- 2.01.803 Praktikum Softwareverifikation
- 2.01.803-A Praktikum Softwareverifikation
- 2.01.803-B Praktikum Softwareverifikation