Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Vorlesungsverzeichnis (WiSe 2016/17)

 Seitenansicht wählen:  kurz mittel lang
 
weitere Informationen zu Vorlesungsverzeichnis  Vorlesungsverzeichnis     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
 
weitere Informationen zu Mathematisch-Naturwissenschaftliche Fakultät  Mathematisch-Naturwissenschaftliche Fakultät     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
 
weitere Informationen zu Institut für Informatik und Computational Science  Institut für Informatik und Computational Science     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
 
weitere Informationen zu Diplom  Diplom     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
 
weitere Informationen zu Informatik  Informatik     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
 
weitere Informationen zu Theoretische Informatik  Theoretische Informatik     #BelegLinksVVZ($BC $User.bereich $Tabelle.UeID $Tabelle.UebBel)
   
Vst.-Nr. Veranstaltung Vst.-Art Aktion
550811 Principles of Data- and Knowledge-Base Systems   -   Prof. Dr. Schaub ,  Obermeier Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
550821 Principles of Data- and Knowledge-Base Systems   -   Prof. Dr. Schaub ,  N.N. ,  Obermeier Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
550831 Principles of Data- and Knowledge-Base Systems   -   Prof. Dr. Schaub ,  Obermeier Praktikum #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
551711 Compiler und Programmtransformation   -   PD Dr. Bordihn Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
551721 Compiler und Programmtransformation   -   PD Dr. Bordihn Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
552231 Agent-technology   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Seminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
552241 Agent-technology   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Praktikum #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
553011 Declarative Problem Solving and Optimization   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
553021 Declarative Problem Solving and Optimization   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
553031 Declarative Problem Solving and Optimization   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Praktikum #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
554511 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   -   Prof. Dr. Kreitz Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
554521 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   -   Prof. Dr. Kreitz Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
554911 Declarative Modeling   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser ,  M.Sc. Romero Davila Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
554921 Declarative Modeling   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
554941 Declarative Modeling   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser ,  M.Sc. Romero Davila Praktikum #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555211 Knowledge-based Systems   -   Prof. Dr. Schaub Forschungsseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555211 Knowledge Representation and Reasoning   -   Prof. Dr. Schaub Forschungsseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555211 Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik   -   Prof. Dr. Schwill Oberseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555211 Machine learning Journal Club   -   Prof. Dr. Scheffer Forschungsseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555211 Theorie-Kolloquium   -   Prof. Dr. Kreitz ,  Dr. rer. nat. Dipl.-Math. Richter ,  Richter ,  Brede ,  Dr. rer. nat. Böhne Oberseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555611 Cartesisches Seminar   -   Prof. Dr. Kreitz ,  Dr. rer. nat. Dipl.-Math. Richter ,  Richter ,  Brede ,  Dr. rer. nat. Böhne Oberseminar #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555911 Advanced Problem Solving Techniques   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser Vorlesung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555912 Advanced Problem Solving Techniques   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Übung #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555913 Advanced Problem Solving Techniques   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Praktikum #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")
555914 Advanced Problem Solving Techniques   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Projekt #BelegLinksVeranstaltungStg ($BC $Veranstaltung.getChildText('VerBel') $User.bereich "y" $Veranstaltung.getChildText('VerID') $servlet.session_stgarray_stgNrs "Bel")

© Copyright HIS
Hochschul-Informations-System eG