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 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap

 
weitere Informationen zu Vorlesungsverzeichnis  Vorlesungsverzeichnis    
 
Die Überschrift Fakultät 6 (Mathematik u. Informatik) aufklappen  weitere Informationen zu Fakultät 6 (Mathematik u. Informatik)  Fakultät 6 (Mathematik u. Informatik)    
 
Die Überschrift 6.2 Informatik aufklappen  weitere Informationen zu 6.2 Informatik  6.2 Informatik    
 
Die Überschrift Proseminare aufklappen  weitere Informationen zu Proseminare  Proseminare    
   
Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion
66037 Nebenläufige Automaten / Concurrent Automata   -   Univ.-Prof. Dr.-Ing. Hermanns Proseminar / Seminar     WiSe 2012/13 Informatik
67259 Anwendungen von Markov-Ketten   -   Univ.-Professorin Prof. Dr. Wolf Blockseminar     WiSe 2012/13 Informatik
67260 Das Erfüllbarkeitsproblem SAT   -   Univ.-Prof. Dr. rer. nat. Weidenbach Univ.-Prof. Dr. Hack Proseminar     WiSe 2012/13 Informatik
67589 Neural Networks for Pattern Recognition   -   Univ.-Prof. Dr. rer. nat. Klakow Dipl.-Inf. Faubel Blockseminar     WiSe 2012/13 Informatik
67692 Das Buch der Beweise   -   Univ.-Prof. Dr. Seidel Proseminar     WiSe 2012/13 Informatik
67733 Statische Programmanalyse   -   Univ.-Prof. Dr. Reineke Proseminar     WiSe 2012/13 Informatik