Wintersemester 25/26
| Hardware Security and Trust | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. ILIAS-Kurs Link zu Vorlesungsmaterialien |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Webseite des ILIAS-Kurses Download von Vorlesungsmaterialien |
| Missing Semester / Das fehlende Semester | Spezialvorlesung 6 ECTS Kurswebseite Nur für Bachelorstudierende. Kurssprache: deutsch |
| SMT Solving | Seminar (6 ECTS) Course website on CCA group pages. |
Sommersemester 2025
| Real-Time Operating Systems and Worst-Case Execution Times | Specialization course, 6 ECTS, 3+1 ILIAS link Lecture materials |
| Technische Informatik | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) ILIAS-Kurs Link zu Vorlesungsmaterialien Wichtig: Die Einteilung der Übungsgruppen erfolgt über HISinOne. Bitte melden Sie sich für eine der Übungsgruppen in HISinOne an. |