Winter Term 2023/24

Informatik I (Praktische Informatik I: Deklarative Programmierung)

Just-in-Time (JIT) Compilation and Virtual Machines (Proseminar)

Object Meets Function

Programming with Dependent Types

Software Engineering