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 

Foto: Matthias Friel

Sie sind hier: Startseite

Vorlesungsverzeichnis (WiSe 2016/17)



Seitenansicht wählen:    kurz   mittel   lang  


 
weitere Informationen zu Vorlesungsverzeichnis   Vorlesungsverzeichnis    
 
  weitere Informationen zu Mathematisch-Naturwissenschaftliche Fakultät   Mathematisch-Naturwissenschaftliche Fakultät    
 
  weitere Informationen zu Institut für Informatik und Computational Science   Institut für Informatik und Computational Science    
 
  weitere Informationen zu Master of Education   Master of Education    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2011/12)   Informatik (Prüfungsversion ab WiSe 2011/12)    
 
  weitere Informationen zu Vertiefungsmodul Informatik I u. II   Vertiefungsmodul Informatik I u. II    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion
551711 Compiler und Programmtransformation   -   Dr. Bordihn Vorlesung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
551721 Compiler und Programmtransformation   -   Dr. Bordihn Übung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
553011 Declarative Problem Solving and Optimization   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser Vorlesung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
553021 Declarative Problem Solving and Optimization   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Übung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
553031 Declarative Problem Solving and Optimization   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Praktikum     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554511 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   -   Prof. Dr. Kreitz Vorlesung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554521 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   -   Prof. Dr. Kreitz Übung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554731 Cognitive technologies   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Seminar     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554741 Cognitive technologies   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Praktikum     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554911 Declarative Modeling   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser ,  M.Sc. Romero Davila Vorlesung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554921 Declarative Modeling   -   Dr. Dr. Gebser ,  M.Sc. Romero Davila Übung     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
554941 Declarative Modeling   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser ,  M.Sc. Romero Davila Praktikum     WiSe 2016/17 Institut für Informatik und Computational Science belegen/abmelden
 

© Copyright HIS
Hochschul-Informations-System eG