TU Wien: Masterstudium Technische Informatik
Zur Navigation springen
Zur Suche springen
| Links | Ehemalige LVAs, Studienplan, TISS |
|---|---|
| VoWi-Stats |
|
Obligation: Pflichtfach
Advanced Multiprocessor Programming
Computer-Aided Verification
Discrete Mathematics
- Discrete Mathematics UE (Bentrifa)
- Discrete Mathematics UE (diverse)
- Discrete Mathematics UE (Stufler)
- Discrete Mathematics VO (Gittenberger)
- Discrete Mathematics VO (Stufler)
- Discrete Mathematics VU (Gittenberger)
Formal Methods in Computer Science
- Formale Methoden der Informatik UE (Woltran)
- Formale Methoden der Informatik VU (Egly)
- Formal Methods in Systems Engineering VU (Kovacs)
Information Technology in Automation
+ Modul Advanced Design and Synthesis of Digital Systems
+ Modul Computer-Aided Verification
+ Modul Stochastic Foundations of Cyber-Physical Systems
_no module mapping_
Obligation: Gebundenes Wahlfach
Algorithms and Programming
- Analyse von Algorithmen UE (Panholzer)
- Analyse von Algorithmen VO (Panholzer)
- Codegeneratoren VO (Krall)
- Optimierende Übersetzer VU (Knoop)
- Parallele und Echtzeitprogrammierung VU (Blieberger)
- Semantik von Programmiersprachen VU (Zuleger)
Automation
- Home and Building Automation VU (Steindl)
- Industrielle Automation VU (Gsellmann)
- Sensoren und optoelektronische Bauelemente VO (Reider)
- Wireless in Automation VU (Kastner)
Computer-Aided Verification
- Computer-Aided Verification UE (Cerny)
- 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)
- Real-Time Scheduling VU (Schmid)
- Regelung verteilt-parametrischer Systeme VU (Meurer)
Dependable Distributed Systems
- Distributed Algorithms VU (Schmid)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- 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)
- Halbleiterphysik VU (Andrews)
- Halbleiterphysik VU (Pogany)
- HW SW Codesign LU (Steininger)
- 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)
- Wireless Communications 2 VO (Görtz)
Mathematics and Theoretical Computer Science
- Diskrete Methoden UE (Panholzer)
- 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 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)
+ Modul Advanced Design and Synthesis of Digital Systems
+ Modul Information Technology in Automation
- Industrielle Automation VU (Hofbauer)
- Industrielle Kommunikationstechnik VU (Sauter)
- Mobile Robotik VU (Bader)
+ Modul Signal Processing
- Modul Wahlmodul Algorithms and Programming
- Advanced Modeling and Simulation VU (Bicher)
- Algorithmic Geometry VU (Nöllenburg)
- Algorithmics VU (Szeider)
- Analyse von Algorithmen UE (Drmota)
- Analyse von Algorithmen VO (Drmota)
- GPU Architectures and Computing VU (Bartocci)
- Heuristic Optimization Techniques VU (Raidl)
- Modul Wahlmodul Automation
- Communication Networks 1 VO (Zseby)
- Communication Networks 2 VU (Fabini)
- Internet of Things VU (Bartocci)
- Labor Mechatronische Systeme LU (Schitter)
- Machine Vision VU (Vincze)
- Mechatronische Systeme VU (Schitter)
- Network Security - Advanced Topics VU (Zseby)
- Network Security VU (Zseby)
- Modul Wahlmodul Computer-Aided Verification
- Automated Deduction VU (Kovacs)
- Formal Methods for Security and Privacy VU (Maffei)
- Program Analysis VU (Zuleger)
- SAT Algorithms Applications and Extensions VU (Fazekas)
- Modul Wahlmodul Cyber-Physical Systems
- Internet of Things VU (Bartocci)
- Machine Vision VU (Vincze)
- Mobile Robotik VU (Bader)
- Nichtlineare dynamische Systeme und Regelung LU (Ecker)
- Nichtlineare dynamische Systeme und Regelung VO (Deutschmann-Olek)
- Optimierung VU (Steinböck)
- Regelungssysteme LU (Ecker)
- Regelungssysteme VO (Kemmetmüller)
- Regelung verteilt-parametrischer Systeme VO (Meurer)
- Modul Wahlmodul Dependable Distributed Systems
- Advanced Cryptography VU (Fuchsbauer)
- Communication Networks 1 VO (Zseby)
- Communication Networks 2 VU (Fabini)
- Formal Methods for Security and Privacy VU (Maffei)
- Network Security VU (Zseby)
- Modul Wahlmodul Digital Circuits and Systems
- HW SW Codesign LU (Huemer)
- HW SW Codesign VU (Steininger)
- Industrial Hardware Verification VU (Ferringer)
- 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)
- Lab Wireless Communications LU (Langwieser)
- Quellencodierung Source Coding VO (Görtz)
- Wireless Communications 1 VU (Mecklenbräuker)
- Wireless Communications 2 VO (Mecklenbräuker)
- Modul Wahlmodul Mathematics and Theoretical Computer Science
- Angewandtes Operations Research UE (Tragler)
- Angewandtes Operations Research VO (Tragler)
- Diskrete Methoden UE (Gittenberger)
- Diskrete Methoden VO (Gittenberger)
- Funktionalanalysis 1 VO (Woracek)
- Komplexe Analysis UE (Knörr)
- Komplexe Analysis VO (Knörr)
- Komplexitätstheorie VU (Pichler)
- Theorie stochastischer Prozesse UE (Ignasiak)
- Theorie stochastischer Prozesse VO (Papon)
- Topologie UE (Woracek)
- Topologie VO (Woracek)
- Modul Wahlmodul Verbreiterung
- Generative AI VU (Neidhardt)
- Model Engineering VU (Bork)
- Projektarbeit in Technischer Informatik PR (Bartocci)
- Projektarbeit in Technischer Informatik PR (Grosu)
- Scientific Project in Technischer Informatik PR (Blieberger)
- 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)
Verbreiterung
- Knowledge-based Systems VU (Egly)
- Projektarbeit in Technischer Informatik PR (Krall)
- 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
Advanced Design and Synthesis of Digital Systems
Mathematics and Theoretical Computer Science
- Modul Wahlmodul Algorithms and Programming
- Modul Wahlmodul Cyber-Physical Systems
- Modul Wahlmodul Dependable Distributed Systems
_no module mapping_
- Advanced Computer Architecture VU (Schöberl)
- Advanced Computer Architecture VU (Shafique)
- Algorithmen auf Graphen VU (Chwatal)
- Algorithmen auf Graphen VU (Saturni)
- Analyse von Algorithmen UE (Nessmann)
- Application-Specific Computing Architectures and Systems VU (Shafique)
- Automated Deduction VU (Laura Kovács)
- Automaten und formale Sprachen VO (Kuich)
- Automatisierungs- und Steuerungssysteme VO (Schitter)
- Communication Networks 2 VU (Fabini, Joachim)
- Computer Aided Verification LU (Veith)
- Computer Aided Verification UE (Weissenbacher)
- Computer-Aided Verification UE (Weissenbacher)
- Computer Aided Verification VU (Veith)
- Computer Aided Verification VU (Weissenbacher)
- Computer Architecture LU (Grünbacher)
- Didaktik in der Informatik Abenteuer Informatik SE (Futschek)
- Diplomarbeit SE (diverse)
- Discrete Mathematics VO (Drmota)
- Discrete Mathematics VO (Rubey)
- Diskrete Mathematik für Informatik UE (Gittenberger)
- Diskrete Mathematik für Informatik VO (Gittenberger)
- Distributed Real-Time Systems Engineering VL (Kopetz)
- EDV-Vertragsrecht VO (Haslinger, Vinzenz)
- Effiziente Algorithmen VU (Leitner)
- Einführung in Semantic Web VU (Barta)
- Entwurfsmethoden für verteilte Systeme VU (Weidl-Rektenwald)
- Entwurfsmethoden für verteilte Systeme VU (Zdun)
- Formale Methoden der Informatik UE (Lackner)
- Formale Verifikation von Software VU (Futschek)
- Forschungsmethoden VU (Grechenig)
- Fortgeschrittene Methoden der Modellbildung VU (Kemmetmüller)
- Funktionalanalysis 1 UE UE (Blümlinger)
- GPU Architectures and Programming VU (Bartocci)
- Halbleiterphysik VU (Strasser)
- Hardware-Software Codesign LU (Steininger)
- High Performance Computing VU (Träff)
- Home and Building Automation VU (Kastner)
- HW/SW Codesign LU (Steininger)
- HW/SW Codesign VU (Steininger)
- Impulstechnik VO (Schildt)
- Knowledge-based Systems VU (Egly, Eiter, Tompits)
- Kommissionelle Abschlussprüfung
- Kommunikationstechnik SE (Dustdar)
- Kommunikation und Moderation VU (Pohl)
- Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
- Kryptographie VU (Egly)
- 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)
- Management von Software Projekten VU (Karnovsky)
- Mathematische Logik 1 VU (Ciabattoni)
- Model Engineering VU (Kappel)
- Modeling and Simulation VU (Popper)
- Parallele Algorithmen VU (Träff)
- Patentrecht VO (Preglau)
- Praxisorientierte Betriebswirtschaftslehre VU (Schwaiger)
- Privates Wirtschaftsrecht VO (Lehner)
- Privatissimum aus Fachdidaktik Informatik PV (Freund)
- Qualitätsmanagement VU (Sihn)
- Quellencodierung (Source Coding) VO (Görtz)
- Regelungssysteme 1 VO (Kemmetmüller)
- Regelungssysteme 2 VO (Kugi)
- Robuste und verlässliche Kommunikationssysteme VU (Goiser)
- Semantik von Programmiersprachen VU (Gramlich)
- Seminar für Diplomand innen für Technische Informatik SE (Träff)
- SoC Design Seminar SE (Rehman)
- SoC Design Seminar SE (Taherinejad)
- Sociology of Technology VU (Steinhardt)
- Software Model Checking VU (Weissenbacher)
- Software Testen VL (Winkler)
- Structural Decompositions and Algorithms VU (Slivovsky)
- Technical English 1 VO (Oliva)
- Technik der Kommunikationsnetze VO (van As)
- Testen von Embedded Systems VU (Kirner)
- The Java Virtual Machine in Hardware VL (Schöberl)
- Verfassungs- und Verwaltungsrecht UE (Zehetner)
- Verfassungs- und Verwaltungsrecht VO (Zehetner)
- Verteiltes Programmieren mit Space Based Computing Middleware VU (Kühn)
- Vertiefung FPGA-Design VU (Steininger)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Proksch)
- Vertrags-u.Haftungsrecht f.Ingenieure VO (Ratka)
- Wissenschaftliche Methodik SE (Ertl)
- Zeitanalyse von sicherheitskritischen Echtzeitsystemen VU (Puschner)