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 2018/19)



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 Science   Master of Science    
 
  weitere Informationen zu Computational Science (Prüfungsversion ab WiSe 2013/14)   Computational Science (Prüfungsversion ab WiSe 2013/14)    
 
  weitere Informationen zu VIII. Vertiefungsmodule Informatik   VIII. Vertiefungsmodule Informatik    
 
  weitere Informationen zu Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme   Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    
 
   
 
      551711 Compiler und Programmtransformation    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2018/19   6 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   12:00 - 14:00
Beginn: 18.10.2018  Ende: 07.02.2019 		Raum: 3.04. 0.02
Lehrperson: Bordihn
 
      551721 Compiler und Programmtransformation    Belegung über PULS
Logo für Übung Übung WiSe 2018/19    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   10:00 - 12:00
Beginn: 19.10.2018  Ende: 08.02.2019 		Raum: 3.04. 0.02
Lehrperson: Bordihn
 
      552121 Advanced topics in cryptography and security    Belegung über PULS
Logo für Seminar Seminar WiSe 2018/19    
Einrichtung: Institut für Informatik und Computational Science, Institut für Biochemie und Biologie
Gruppe 1      jetzt belegen / abmelden
wöch. Montag   10:00 - 12:00
Beginn: 15.10.2018  Ende: 04.02.2019 		Raum: 3.04. 1.02
Lehrperson: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 17.10.2018  Ende: 06.02.2019 		Raum: 3.04. 0.02
Lehrperson: Kreitz
Gruppe 2      jetzt belegen / abmelden
wöch. keine Angabe    
Raum:
Lehrperson: N.N.
 
      554511 Kategorientheorie und Logik    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2018/19    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   14:00 - 16:00
Beginn: 18.10.2018  Ende: 07.02.2019 		Raum: 3.04. 1.02
Lehrperson: Richter
 
      554521 Kategorientheorie und Logik    Belegung über PULS
Logo für Übung Übung WiSe 2018/19    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   12:00 - 14:00
Beginn: 17.10.2018  Ende: 06.02.2019 		Raum: 3.04. 1.02
Lehrperson: Richter ,  Richter
Einzel Mittwoch   12:00 - 14:00
Beginn: 07.11.2018  Ende: 07.11.2018 		Raum: 3.01. H10
Lehrperson: Richter ,  Richter
 
 

© Copyright HIS
Hochschul-Informations-System eG