2018年夏季学期
自动机理论(研讨会、散文会)
决策程序(讲座)
项目分析(研讨会)
Softwarepraktikum(Nur für信息学理学士和ESE理学士)
程序验证(讲座)
软件技术/软件工程(讲座)