

inf030  Programming, Algorithms and Data Structures 
Lecture 







Exercises 








inf031  Objectoriented Modelling and Programming

Lecture 







Exercises 








inf200  Computer Engineering I 
Lecture 







Exercise or tutorial 








inf700  Computer Science Education I

Lecture 







Exercises 








mat950  Discrete Mathematics 
Lecture 







Exercises 









inf005  Software Engineering I 
Lecture 







Tutorial 








inf700  Computer Science Education I

Lecture 







Exercises 








inf709  Practicals in Computer Science

Seminar und Projekt 







Seminar und Praktikum 








inf800  Proseminar in Computer Science

Seminar 








inf401  Foundations of Theoretical Computer Science 
Lecture 







Exercise or tutorial 









inf004  Software Project

Lecture 







Exercises 







Project 








inf009  Database Practical 
Practical 








inf014  Operating Systems Practical 
Practical 








inf018  Media Processing 
Lecture 







Project 








inf021  Advanced Java Technology Practical 
Practical 








inf202  Computer Engineering Practical

Practical 








inf406  Laboratory RealTime Systems 
Practical 








inf803  Special Topics in Computer Science I 
VAAuswahl 








inf804  Special Topics in Computer Science II

VAAuswahl 








inf808  Current Topics in Computer Science 
VAAuswahl 









bam  Bachelor Thesis and Colloquium

Seminar 









inf200  Computer Engineering I 
Lecture 







Exercise or tutorial 








inf201  Computer Engineering II

Lecture 







Exercise or tutorial 








inf203  Embedded Systems I 
Lecture 







Exercises 








inf204  Embedded Systems II

Lecture 







Exercises 








inf205  Formal Methods in Embedded System Design 
Lecture 







Exercises 








inf207  Electrical Engineering

Lecture 







Exercises 








inf208  Microrobotics and Microsystems Technology 
Lecture 







Exercises 








inf209  Control Theory 
Lecture 







Exercises 








inf210  Signal and Image Processing 
Lecture 







Exercises 









inf400  Theoretical Computer Science: Logic

Lecture 







Exercise or tutorial 








inf401  Foundations of Theoretical Computer Science 
Lecture 







Exercise or tutorial 








inf402  Graph Transformation Systems 
Lecture 







Exercises 








inf403  Cryptology

Lecture 







Exercises 








inf404  Petri Nets 
Lecture 







Exercises 








inf405  Algorithmic Graph Theory 
Lecture 







Exercises 








inf407  Program Verification 
Lecture 







Exercises 








inf408  Algorithms for Software Verification 
Lecture 







Exercises 








inf409  Formal Languages 
Lecture 







Exercises 






