Science Communication 2
The Infinitely Large and Infinitely Small
Introduction to Quantum Computing
Logic and Languages
Numerics
Object-Oriented Design
Probability, Statistics and Combinatorics
Software Verification
System Architecture and Programming
Tree Data Structures and Algorithms
History of Science
Games, Synthesis and Control
