

inf030  Programming, Algorithms and Data Structures 
Lecture 







Exercises 








inf031  Objectoriented Modelling and Programming

Lecture 







Exercises 








inf200  Computer Engineering I 
Lecture 







Exercise or tutorial 








inf400  Theoretical Computer Science: Logic

Lecture 







Exercise or tutorial 









inf005  Software Engineering I 
Lecture 







Tutorial 








inf007  Information Systems I 
Lecture 







Exercises 








inf010  Computer Networks

Lecture 







Exercises 








inf012  Operating Systems I

Lecture 







Exercise or tutorial 








inf201  Computer Engineering II

Lecture 







Exercise or tutorial 








inf401  Foundations of Theoretical Computer Science 
Lecture 







Exercise or tutorial 








mat950  Discrete Mathematics 
Lecture 







Exercises 








mat955  Mathematics of Computer Science (Linear Algebra) 
Lecture 







Exercises 








mat960  Mathematics of Computer Science (Analysis)

Lecture 







Exercises 









inf006  Software Engineering II

Lecture 







Seminar 








inf008  Information Systems II

Lecture 







Exercises 








inf009  Database Practical 
Practical 








inf014  Operating Systems Practical 
Practical 








inf015  Distributed Operating Systems 
Lecture 







Exercises 








inf016  Internet Technologies

Lecture 







Project 








inf017  Interactive Systems 
Lecture 







Project 








inf018  Media Processing 
Lecture 







Project 








inf019  Compiler Construction 
Lecture 







Exercises 








inf020  Machineoriented Programming 
Lecture 







Exercises 








inf021  Advanced Java Technology Practical 
Practical 








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 








inf402  Graph Transformation Systems 
Lecture 







Exercises 








inf403  Cryptology

Lecture 







Exercises 








inf404  Petri Nets 
Lecture 







Exercises 








inf405  Algorithmic Graph Theory 
Lecture 







Exercises 








inf406  Laboratory RealTime Systems 
Practical 








inf407  Program Verification 
Lecture 







Exercises 








inf408  Algorithms for Software Verification 
Lecture 







Exercises 








inf409  Formal Languages 
Lecture 







Exercises 








inf521  Medical Informatics 
Lecture 







Exercises 








inf530  Artificial Intelligence

Exercises 







Lecture 








inf540  Applications in Artificial Intelligence 
Lecture 







Exercises 








inf600  Business Informatics I 
Lecture 







Exercises 








inf601  Business Informatics II

Lecture 







Exercises 








inf603  Planning and Simulation in Logistics 
Lecture 







Exercises 








inf608  eBusiness

Lecture 







Exercises 








inf610  Enterprise Architecture Management 
Lecture 







Exercises 








inf612  Reengineering of business processes 
Lecture 







Exercises 








inf700  Computer Science Education I

Lecture 







Exercises 








inf803  Special Topics in Computer Science I 
VAAuswahl 








inf804  Special Topics in Computer Science II

VAAuswahl 








inf805  Special Topics in Computer Science III 
VAAuswahl 








inf806  Special Topics in Computer Science IV 
VAAuswahl 








inf807  Special Topics in Computer Science V 
VAAuswahl 








inf808  Current Topics in Computer Science

VAAuswahl 








inf809  Current Topics in Computer Science II 
VAAuswahl 








inf852  IT Project Management

Lecture 







Exercises 








inf853  Application Fields of Computer Science I 
VAAuswahl 








inf854  Application Fields of Computer Science II 
VAAuswahl 








inf855  Application Fields of Computer Science III 
VAAuswahl 








inf856  Application Fields of Computer Science IV 
VAAuswahl 








inf857  Application Fields of Computer Science V 
VAAuswahl 









mat030  Analysis IIa: Integration in One Variable and Differential Equations

Lecture 







Exercises 








mat200  Algebra I: Rings and Modules

Lecture 







Exercises 








mat310  Statistics I – Introduction to Applied Statistics 
Lecture 







Exercises 








mat996  Introduction to Numerical Analysis 
Lecture 







Exercises 








mat997  Introduction to Probability and Statistics

Lecture 







Exercises 








mat995  Special Topics in Mathematics

Lecture 







Exercises 









bam  Bachelor Thesis and Colloquium

Seminar 






