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
Studentisches Leben      Veranstaltungen      Hochschulstruktur      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Vorlesungsverzeichnis (WiSe 2014/15)

 Seitenansicht wählen:  kurz mittel lang
 
weitere Informationen zu Vorlesungsverzeichnis  Vorlesungsverzeichnis    
 
Die Überschrift Fakultät 7 (Physik u. Mechatronik) aufklappen  weitere Informationen zu Fakultät 7 (Physik u. Mechatronik)  Fakultät 7 (Physik u. Mechatronik)    
 
Die Überschrift FR 7.4 Mechatronik aufklappen  weitere Informationen zu FR 7.4 Mechatronik  FR 7.4 Mechatronik    
 
Die Überschrift Bachelor-Studiengang Computer- und Kommunikationstechnik (PO 2007) aufklappen  weitere Informationen zu Bachelor-Studiengang Computer- und Kommunikationstechnik (PO 2007)  Bachelor-Studiengang Computer- und Kommunikationstechnik (PO 2007)    
 
Die Überschrift Vertiefungsvorlesungen der Informatik aufklappen  weitere Informationen zu Vertiefungsvorlesungen der Informatik  Vertiefungsvorlesungen der Informatik    
   
Vst.-Nr. Veranstaltung Vst.-Art Aktion
81812 Software Reverse Engineering   -   Rossow 117 Blockvorlesung A
81902 Distributed Systems   -   Druschel 94 Vorlesung / Übung A
81908 Security   -   Maffei 94 Vorlesung / Übung A
81915 Computer Graphics   -   Slusallek 94 Vorlesung / Übung A
82012 Automated Reasoning   -   Weidenbach 94 Vorlesung / Übung A
82013 Verification   -   Hermanns 94 Vorlesung / Übung A
82027 Algorithms and Data Structures   -   Kerber ,  Hoefer 94 Vorlesung / Übung A
82033 Computer Algebra   -   Sagraloff 94 Vorlesung / Übung A
82417 Static Programm Analysis   -   Reineke ,  Hack ,  Hammer 147 Weiterführende Vorlesung A
82418 Automatic Planning   -   Hoffmann 147 Weiterführende Vorlesung A
82431 Quantitative Model Checking   -   Krcál 147 Weiterführende Vorlesung A
82443 Database Systems   -   Dittrich 94 Vorlesung / Übung A
82444 Modelling and Simulation   -   Bortolussi 147 Weiterführende Vorlesung A
82447 Probabilistic Graphical Models and their Applications   -   Schiele 147 Weiterführende Vorlesung A
82760 Public-Key Encryption   -   Schröder 117 Blockvorlesung A
82883 Image Compression   -   Peter ,  Weickert 146 Spezialvorlesung A
82990 Machine Learning   -   Fritz ,  Andres 94 Vorlesung / Übung A
83044 IT Forensics   -   Sorge 147 Weiterführende Vorlesung A
83055 Text-to-speech synthesis   -   Möbius 42 Vorlesung A
83073 Relationsextraktion mit RapidMiner   -   Klakow 155 Softwareprojekt A
83091 Algorithmische Zahlentheorie (Computational Number Theory)   -   Schulze-Pillot-Ziemen 42 Vorlesung A
83096 Differential Equations in Image Processing and Computer Vision   -   Weickert 42 Vorlesung A
83278 Applied Cryptography   -   Kate 147 Weiterführende Vorlesung A
83325 Advanced Image Analysis   -   Weickert 42 Vorlesung A
83329 Advanced Topics in Information Retrieval   -   Berberich 147 Weiterführende Vorlesung A
83330 Theory of Distributed Systems   -   Lenzen 147 Weiterführende Vorlesung A
83331 Integer Programming   -   Karrenbauer 147 Weiterführende Vorlesung A
83515 Perception in Computer Graphics   -   Myszkowski ,  Ritschel 147 Weiterführende Vorlesung A
83582 An Introduction to TLA +   -   Lu 147 Weiterführende Vorlesung A
83585 Computational Logic II   -   Smolka 147 Weiterführende Vorlesung A
83652 Statistical Learning   -   Lengauer 146 Spezialvorlesung A
83977 Type Systems for Security Verification   -   Maffei 117 Blockvorlesung A
83993 Satisfy my Circuits: Algorithms for the Satisfiability Problem   -   Dell 147 Weiterführende Vorlesung A