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 (SoSe 2017)



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 Bachelor of Education   Bachelor of Education    
 
  weitere Informationen zu Informatik (Prüfungsversion ab WiSe 2011/12)   Informatik (Prüfungsversion ab WiSe 2011/12)    
 
  weitere Informationen zu Vertiefungsmodul Informatik   Vertiefungsmodul Informatik    
 
  weitere Informationen zu Theoretische Informatik   Theoretische Informatik    
 
   
Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion
550411 Theoretische Informatik II: Effiziente Algorithmen   -   Prof. Dr. Kreitz ,  Brede Vorlesung     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
550421 Theoretische Informatik II: Effiziente Algorithmen   -   Prof. Dr. Kreitz ,  Brede Übung     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
550431 Theoretische Informatik II: Effiziente Algorithmen   -   Prof. Dr. Kreitz ,  Brede Tutorium     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
551111 Computational Intelligence   -   Prof. Dr. Schaub ,  Dr. Dr. Gebser Vorlesung     SoSe 2017 Institut für Informatik und Computational Science ,
Institut für Physik und Astronomie 		belegen/abmelden
551121 Computational Intelligence   -   Dr. Dr. Gebser Übung     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
551131 Computational Intelligence   -   Dr. Dr. Gebser Projekt     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
552231 Agent-technology   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Seminar     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
552241 Agent-technology   -   Prof. Dr. Schaub ,  M.Sc. Romero Davila Praktikum     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
554611 Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese   -   Prof. Dr. Kreitz Vorlesung     SoSe 2017 Institut für Informatik und Computational Science ,
Institut für Physik und Astronomie 		belegen/abmelden
554621 Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese   -   Prof. Dr. Kreitz Übung     SoSe 2017 Institut für Informatik und Computational Science ,
Institut für Physik und Astronomie 		belegen/abmelden
(Keine Nummer) Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq   -   Prof. Dr. Kreitz ,  Dr. rer. nat. Böhne Vorlesung/Seminar     SoSe 2017 Institut für Informatik und Computational Science belegen/abmelden
 

© Copyright HIS
Hochschul-Informations-System eG