TU Wien: Masterstudium Technische Informatik
Zur Navigation springen
Zur Suche springen
| Links | Ehemalige LVAs, Studienplan, TISS |
|---|---|
| VoWi-Stats |
|
Obligation: Pflichtfach
+ Modul Advanced Design and Synthesis of Digital Systems
+ Modul Computer-Aided Verification
+ Modul Stochastic Foundations of Cyber-Physical Systems
Advanced Multiprocessor Programming
Computer-Aided Verification
Discrete Mathematics
- Discrete Mathematics UE (Bentrifa)
- Discrete Mathematics UE (Stufler)
- Discrete Mathematics UE (diverse)
- Discrete Mathematics VO (Gittenberger)
- Discrete Mathematics VO (Stufler)
- Discrete Mathematics VU (Gittenberger)
Formal Methods in Computer Science
- Formal Methods in Systems Engineering VU (Kovacs)
- Formale Methoden der Informatik UE (Woltran)
- Formale Methoden der Informatik VU (Egly)
Information Technology in Automation
_no module mapping_
Obligation: Gebundenes Wahlfach
- Modul Wahlmodul Algorithms and Programming
- Algorithmic Geometry VU (Nöllenburg)
- Algorithmics VU (Szeider)
- Analyse von Algorithmen UE (Drmota)
- Analyse von Algorithmen VO (Drmota)
- Heuristic Optimization Techniques VU (Raidl)
- Modul Wahlmodul Automation
- Communication Networks 1 VO (Zseby)
- Internet of Things VU (Bartocci)
- Machine Vision VU (Vincze)
- Mechatronische Systeme VU (Schitter)
- Network Security - Advanced Topics VU (Zseby)
- Modul Wahlmodul Computer-Aided Verification
- Modul Wahlmodul Cyber-Physical Systems
- Internet of Things VU (Bartocci)
- Machine Vision VU (Vincze)
- Nichtlineare dynamische Systeme und Regelung LU (Ecker)
- Optimierung VU (Steinböck)
- Regelungssysteme LU (Ecker)
- Regelungssysteme VO (Kemmetmüller)
- Modul Wahlmodul Dependable Distributed Systems
- Modul Wahlmodul Digital Circuits and Systems
- HW SW Codesign LU (Huemer)
- HW SW Codesign VU (Steininger)
- Labor SoC Design UE (Jantsch)
- SoC Design Seminar SE (Jantsch)
- SoC Vertiefung PR (Jantsch)
- Modul Wahlmodul Digital Signal Processing and Communication
- Information Theory and its Application for Communication Engineering VO (Görtz)
- Quellencodierung Source Coding VO (Görtz)
- Wireless Communications 2 VO (Mecklenbräuker)
- Modul Wahlmodul Mathematics and Theoretical Computer Science
- Modul Wahlmodul Verbreiterung
- Generative AI VU (Neidhardt)
- Model Engineering VU (Bork)
- Projektarbeit in Technischer Informatik PR (Grosu)
- Scientific Project in Technischer Informatik PR (Steininger)
- Seminar in Technischer Informatik SE (Grosu)
- Seminar in Technischer Informatik SE (Müller-Gritschneder)
- Seminar in Technischer Informatik SE (Träff)
- Virtual and Augmented Reality VU (Kaufmann)
+ Modul Advanced Design and Synthesis of Digital Systems
+ Modul Information Technology in Automation
+ Modul Signal Processing
Algorithms and Programming
- Advanced Modeling and Simulation VU (Bicher)
- Analyse von Algorithmen UE (Panholzer)
- Analyse von Algorithmen VO (Panholzer)
- Codegeneratoren VO (Krall)
- GPU Architectures and Computing VU (Bartocci)
- Optimierende Übersetzer VU (Knoop)
- Parallele und Echtzeitprogrammierung VU (Blieberger)
- Semantik von Programmiersprachen VU (Zuleger)
Automation
- Communication Networks 2 VU (Fabini)
- Home and Building Automation VU (Steindl)
- Industrielle Automation VU (Gsellmann)
- Industrielle Kommunikationstechnik VU (Sauter)
- Labor Mechatronische Systeme LU (Schitter)
- Mobile Robotik VU (Bader)
- Network Security VU (Zseby)
- Sensoren und optoelektronische Bauelemente VO (Reider)
- Wireless in Automation VU (Kastner)
Computer-Aided Verification
- Computer-Aided Verification UE (Cerny)
- Formal Methods for Security and Privacy VU (Maffei)
- Programmanalyse VU (Zuleger)
- SAT Solving und Erweiterungen VU (Egly)
Cyber-Physical Systems
- Autonomous Racing Cars VU (Brandstätter)
- Fortgeschrittene Methoden der Modellbildung VU (Steinböck)
- Fortgeschrittene Methoden der nichtlinearen Regelung VU (Kugi)
- Mobile Robotik VU (Bader)
- Nichtlineare dynamische Systeme und Regelung VO (Deutschmann-Olek)
- Real-Time Scheduling VU (Schmid)
- Regelung verteilt-parametrischer Systeme VU (Meurer)
Dependable Distributed Systems
- Advanced Cryptography VU (Fuchsbauer)
- Communication Networks 2 VU (Fabini)
- Distributed Algorithms VU (Schmid)
- Formal Methods for Security and Privacy VU (Maffei)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- Network Security VU (Zseby)
- Parallele Algorithmen VU (Hunold)
- Parallele und Echtzeitprogrammierung VU (Blieberger)
- Problems in Distributed Computing VU (Schmid)
Digital Circuits and Systems
- Advanced Digital Design LU (Huemer)
- Advanced Digital Design LU (Steininger)
- Embedded Systems in FPGAs VU (Jantsch)
- HW SW Codesign LU (Steininger)
- Halbleiterphysik VU (Andrews)
- Halbleiterphysik VU (Pogany)
- Industrial Hardware Verification VU (Ferringer)
- Industrial Hardware Verification VU (Steininger)
- SoC Architektur und Design VU (Jantsch)
- Vertiefung FPGA-Design VU (El-Araby)
Digital Signal Processing and Communication
- Digital Communications 1 VU (Hlawatsch)
- Digital Communications 2 VU (Hlawatsch)
- Lab Wireless Communications LU (Langwieser)
- Wireless Communications 1 VU (Mecklenbräuker)
- Wireless Communications 2 VO (Görtz)
Mathematics and Theoretical Computer Science
- Angewandtes Operations Research UE (Tragler)
- Angewandtes Operations Research VO (Tragler)
- Diskrete Methoden UE (Gittenberger)
- Diskrete Methoden UE (Panholzer)
- Diskrete Methoden VO (Gittenberger)
- Diskrete Methoden VO (Panholzer)
- Funktionalanalysis 1 UE UE (Kaltenbäck)
- Funktionalanalysis 1 UE UE (Woracek)
- Funktionalanalysis 1 VO (Kaltenbäck)
- Komplexe Analysis UE (Blümlinger)
- Komplexe Analysis UE (Knörr)
- Komplexe Analysis VO (Blümlinger)
- Komplexe Analysis VO (Mußnig)
- Theorie stochastischer Prozesse UE (Bisi)
- Theorie stochastischer Prozesse UE (Toninelli)
- Theorie stochastischer Prozesse VO (Bisi)
- Theorie stochastischer Prozesse VO (Lichev)
Verbreiterung
- Knowledge-based Systems VU (Egly)
- Projektarbeit in Technischer Informatik PR (Bartocci)
- Projektarbeit in Technischer Informatik PR (Krall)
- Scientific Project in Technischer Informatik PR (Blieberger)
- Scientific Project in Technischer Informatik PR (Krall)
- Seminar in Technischer Informatik SE (Kastner)
- Seminar in Technischer Informatik SE (Schmid)
- Seminar in Technischer Informatik SE (Steininger)
- Virtual and Augmented Reality UE (Kaufmann)
- Virtual and Augmented Reality VO (Kaufmann)
Obligation: Keine Angabe
- Modul Wahlmodul Algorithms and Programming
- Modul Wahlmodul Dependable Distributed Systems
Advanced Design and Synthesis of Digital Systems
Cyber-Physical Systems
Mathematics and Theoretical Computer Science
_no module mapping_
- Advanced Computer Architecture VU (Schöberl)
- Analyse von Algorithmen UE (Nessmann)
- Automatisierungs- und Steuerungssysteme VO (Schitter)
- Computer Aided Verification VU (Weissenbacher)
- Computer-Aided Verification UE (Weissenbacher)
- Didaktik in der Informatik Abenteuer Informatik SE (Futschek)
- Diplomarbeit SE (diverse)
- Discrete Mathematics VO (Drmota)
- Discrete Mathematics VO (Rubey)
- Formale Methoden der Informatik UE (Lackner)
- Forschungsmethoden VU (Grechenig)
- Fortgeschrittene Methoden der Modellbildung VU (Kemmetmüller)
- Funktionalanalysis 1 UE UE (Blümlinger)
- HW/SW Codesign LU (Steininger)
- HW/SW Codesign VU (Steininger)
- Halbleiterphysik VU (Strasser)
- Home and Building Automation VU (Kastner)
- Kommunikation und Moderation VU (Pohl)
- Kommunikationstechnik SE (Dustdar)
- Labor Automatisierungs- und Steuerungssysteme LU (Gsellmann)
- Labor Regelungssysteme 1 LU (Reyhani Masouleh)
- Labor Regelungssysteme 2 LU (Reyhani Masouleh)
- Machine Vision and Cognitive Robotics VU (Vincze)
- Model Engineering VU (Kappel)
- Modeling and Simulation VU (Popper)
- Privatissimum aus Fachdidaktik Informatik PV (Freund)
- Quellencodierung (Source Coding) VO (Görtz)
- Regelungssysteme 1 VO (Kemmetmüller)
- Regelungssysteme 2 VO (Kugi)
- Robuste und verlässliche Kommunikationssysteme VU (Goiser)
- Seminar für Diplomand innen für Technische Informatik SE (Träff)
- SoC Design Seminar SE (Rehman)
- SoC Design Seminar SE (Taherinejad)
- Software Model Checking VU (Weissenbacher)
- Structural Decompositions and Algorithms VU (Slivovsky)
- Wissenschaftliche Methodik SE (Ertl)