Anwendungsfach Informatik
| Name | Course Type | Name | Credits | ID |
|---|
| Eingebettete Systeme | () Vorlesung/Übung | Einführung in eingebettete Systeme | 6 | 473387 |
| () Vorlesung/Übung | Embedded Systems (International Academy) | | 474003 |
| Wissensrepräsentation | () Vorlesung/Übung | Introduction to Knowledge Representation | 6 | 474266 |
| The Graph Isomorphism Problem | () Vorlesung | The Graph Isomorphism Problem | 6 | 481974 |
| () Übung | The Graph Isomorphism Problem (Übung) | 0 | 481975 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 474525 |
| () Übung | Introduction to Model Checking | 0 | 474235 |
| Software-Architekturen | () Übung | Software-Architekturen | 0 | 472069 |
| Geometrieverarbeitung | () Vorlesung | Geometrieverarbeitung | 6 | 471095 |
| () Übung | Geometrieverarbeitung | 0 | 473435 |
| Computer Vision | () Vorlesung/Übung | Computer Vision | 6 | 472558 |
| Data-Driven Methods for 3D Shape Analysis | () Vorlesung | Data driven Methods for 3D Shape Analysis | | 471952 |
| () Übung | Data driven Methods for 3D Shape Analysis | 0 | 471953 |
| Statistische Klassifikation und Maschinelles Lernen | () Vorlesung | Statistische Klassifikation und Maschinelles Lernen | 0 | 482222 |
| () Übung | Statistische Klassifikation und Maschinelles Lernen | 0 | 482221 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 474260 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 474372 |