Mathematisch-Informatischer Wahlkatalog
| Name | Course Type | Name | Credits | ID |
|---|
| Hierarchische Matrizen | () Vorlesung | Hierarchische Matrizen | | 455327 |
| () Übung | Hierarchische Matrizen (Übung) | 0 | 455326 |
| Optimierung A | () Vorlesung/Übung | Optimierung A | | 448100 |
| () Vorlesung/Übung | Optimierung A | 0 | 448100 |
| 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 |
| Software-Qualitätssicherung | () Vorlesung | Software-Qualitätssicherung | 6 | 448188 |
| () Übung | Software-Qualitätssicherung | 0 | 449782 |
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 455138 |
| () Übung | Introduction to Model Checking | 0 | 455137 |