Subsidiary Subject Informatics
| Name | Course Type | Name | Credits | ID |
|---|
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 455727 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 455728 |
| Eingebettete Systeme | () Vorlesung/Übung | Einführung in eingebettete Systeme | 6 | 449609 |
| () Vorlesung/Übung | Embedded Systems (International Academy) | | 450568 |
| Wissensrepräsentation | () Vorlesung/Übung | Introduction to Knowledge Representation | 6 | 455352 |
| Logikprogrammierung | () Vorlesung | Logikprogrammierung | 6 | 454728 |
| () Übung | Logikprogrammierung | 0 | 454727 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 455138 |
| () Übung | Introduction to Model Checking | 0 | 455137 |
| Software-Architekturen | () Übung | Software-Architekturen | 0 | 448867 |
| Geometrieverarbeitung | () Vorlesung | Geometrieverarbeitung | 6 | 448685 |
| () Übung | Geometrieverarbeitung | 0 | 449088 |
| Computer Vision | () Vorlesung/Übung | Computer Vision | 6 | 447211 |
| Data-Driven Methods for 3D Shape Analysis | () Vorlesung | Data driven Methods for 3D Shape Analysis | | 449301 |
| () Übung | Data driven Methods for 3D Shape Analysis | 0 | 449302 |
| Fixpoints and Induction in Logic and Computer Science | () Übung | Fixpoints and Induction in Logic and Computer Science | 0 | 455741 |
| () Vorlesung | Fixpoints and Induction in Logic and Computer Science | | 455732 |