Vorlesungsverzeichnis (WiSe 2023/24)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

Mathematisch-Naturwissenschaftliche Fakultät     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

Institut für Informatik und Computational Science     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

Master of Science     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

Computational Science (Prüfungsversion ab WiSe 2019/20)     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

III. Vertiefungsmodule Informatik     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8010 - Verteilte Systeme     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8011 - Leistungsanalyse     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8020 - Maschinelles Lernen I     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8021 - Maschinelles Lernen II     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8030 - Multimediale Systeme     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8031 - Service-orientierte Architekturen     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8032 - Pervasive Computing     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8033 - E-Learning     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8040 - Formale Methoden im Software Engineering     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8041 - Programmiersprachen und Compilertechnologie     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8050 - Technische Informatik     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8060 - Formale Methoden und ihre Komplexität     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8061 - Sicherheit, Information und Komplexität     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8062 - Semantik und Typsysteme     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8063 - Entwurf effizienter Algorithmen     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8070 - Aktuelle Themen der Künstlichen Intelligenz     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8072 - Deklarative Modellierung     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8080 - Informatik und Gesellschaft II     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8090 - Advanced Topics in Computer Science I     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)

INF-8091 - Advanced Topics in Computer Science II     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)