Sommersemester 2025
| Lab Course: Verification of Digital Circuits | Lab course, Master ESE / Computer Science, 6 ECTS First meeting will be on Mon Apr 28, 14:00h in 00..022 in building 051. |
| Real-Time Operating Systems and Worst-Case Execution Times | Specialization course, 6 ECTS, 3+1 |
Wintersemester 24 / 25
| Lab Course: Verification of Digital Circuits | Lab course, Master ESE / Computer Science, 6 ECTS Link to ILIAS course Materials First meeting will be on Oct 14, 14:00h in 00..022 in building 051. |
| Betriebssysteme | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) Übungsgruppeneinteilung über HISinOne ILIAS Kurs Download von 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 |
| Proseminar: Computerarithmetik | Proseminar: Bachelor Informatik / ESE |
| The Missing Semester: Linux, Tooling, and much more | Nur für Bachelorstudierende, Spezialvorlesung 6 ECTS Kurswebseite |