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 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 2016/17   6 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   12:00 - 14:00
Beginn: 19.10.2016  Ende: 01.02.2017 		Raum: 3.04. 0.02
Lehrperson: Bordihn
Einzel Mittwoch   12:00 - 14:00
Beginn: 08.02.2017  Ende: 08.02.2017 		Raum: 3.04. 2.01
Lehrperson: Bordihn
 
      551721 Compiler und Programmtransformation    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Freitag   12:00 - 14:00
Beginn: 28.10.2016  Ende: 10.02.2017 		Raum: 3.04. 1.02
Lehrperson: Bordihn
 
      554511 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    Belegung über PULS
Logo für Vorlesung Vorlesung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Donnerstag   08:00 - 10:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
14t. Donnerstag   10:00 - 12:00
Beginn: 20.10.2016  Ende: 09.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
      554521 Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme    Belegung über PULS
Logo für Übung Übung WiSe 2016/17    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
14t. Donnerstag   10:00 - 12:00
Beginn: 27.10.2016  Ende: 02.02.2017 		Raum: 3.04. 1.02
Lehrperson: Kreitz
 
 

© Copyright HIS
Hochschul-Informations-System eG