把计算机系的课列在这里，以后仔细研究
| Lect.-No. | Lecture | Type | Activity |
|---|---|---|---|
| 44707 | Automated Reasoning - Weidenbach | Lecture / Exercise/problem-solving class | |
| 44708 | Introduction to Computational Logic - Smolka , Brown | Lecture / Exercise/problem-solving class | |
| 44709 | Complexity Theory - Bläser | Lecture / Exercise/problem-solving class | |
| 44713 | Cryptography - Backes | Lecture / Exercise/problem-solving class | |
| 44714 | Geometric Modeling - Wand | Lecture / Exercise/problem-solving class | |
| 44715 | Artificial Intelligence - Wahlster , Kipp | Lecture / Exercise/problem-solving class | |
| 44882 | Optimization - Mehlhorn , Megow , Mestre | Lecture / Exercise/problem-solving class |
| Lect.-No. | Lecture | Type | Activity |
|---|---|---|---|
| 44889 | Static Program Analysis - Wilhelm | seminar | |
| 45244 | Decision Procedures for Logical Theories - Sofronie-Stokkermans | seminar | |
| 45344 | Mobile Context-Aware Application Development - Gehring | seminar | |
| 45354 | Innovative Technology in the Retail Environment II - Schöning | Block seminar | |
| 45362 | Multi-touch – Emerging Trends in Technology and Interaction - Daiber | seminar | |
| 45558 | Complexity Theory - Bläser | Block seminar | |
| 46481 | Geometric Computing II - Sagraloff | seminar | |
| 46549 | Unsupervised and Weakly-Supervised Probabilistic Modeling of Text - Titov | seminar | |
| 46871 | Large Scale Graphs: Algorithms and Techniques for Mining and Processing - Bedathur , Sozio | seminar | |
| 46882 | Electronic Voting - Unruh , Maffei | seminar |
| Lect.-No. | Lecture | Type | Activity |
|---|---|---|---|
| 46627 | Unix-Kurs für Unix/Linux-Einsteiger - Spurk | Course | |
| 46803 | Informationsmanagement V: Praktikum - Schmidt , N. N. | Practical training | |
| 46870 | Reading Group: Current Research in Programming Languages and Compilers - Hack | Course |
| Lect.-No. | Lecture | Type | Activity |
|---|---|---|---|
| 44945 | Modeling and Simulation - Wolf | Advanced lecture | |
| 46552 | Bioinformatik II - Lengauer | Introductory lecture course | |
| 46565 | Computational Genomics and Metagenomics - McHardy | Block seminar |
