TU Wien Nav:E066938

Masterstudium Technische Informatik

↑ Informatik

Links	Ehemalige LVAs, Studienplan
VoWi-Stats	7 Pflicht-LVAs 22 Wahl-LVAs

Lege eine neue LVA-Seite an

LVAs nach Pflichtmodulen

Advanced Digital Design and Computer Architecture

• Advanced Digital Design VU (Steininger)

Advanced Multiprocessor Programming

• Advanced Multiproccessor Programming VU (Träff)

Diplomarbeit

• Diplomarbeit SE (diverse)

Discrete Mathematics

• Discrete Mathematics UE (diverse)
• Discrete Mathematics VO (Gittenberger)

Formal Methods in Computer Science

• Formale Methoden der Informatik UE (Kovacs)
• Formale Methoden der Informatik VU (Egly)

LVAs nach Wahlmodulen

Algorithms and Programming

• Codegeneratoren VO (Krall)
• Fixed-Parameter Algorithms and Complexity VU (Ganian)
• Heuristic Optimization Techniques VU (Raidl)

Automation

• Network Security VU (Zseby)
• Wireless in Automation VU (Kastner)

Computer-Aided Verification

• Automated Deduction VU (Laura Kovács)
• Computer Aided Verification UE (Weissenbacher)
• Computer Aided Verification VU (Weissenbacher)
• Formal Methods for Security and Privacy VU (Maffei)
• Programmanalyse VU (Zuleger)
• SAT Solving und Erweiterungen VU (Egly)

Cyber-Physical Systems

• Real-Time Scheduling VU (Schmid)

Dependable Distributed Systems

• Formal Methods for Security and Privacy VU (Maffei)
• High Performance Computing VU (Träff)
• Parallele Algorithmen VU (Träff)

Freie Wahlfächer und Transferable Skills

• Kommunikation und Moderation VU (Pohl)
• Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)

Information Technology in Automation

• Information Technology in Automation VU (Kastner)

Mathematics and Theoretical Computer Science

• Cryptocurrencies VU (Maffei)
• Komplexitätstheorie VU (Pichler)
• Kryptographie VU (Egly)

Verbreiterung

• Knowledge-based Systems VU (Egly, Eiter, Tompits)

Alphabetisch

A

• Advanced Digital Design VU (Steininger)
• Advanced Multiproccessor Programming VU (Träff)
• Automated Deduction VU (Laura Kovács)

C

• Codegeneratoren VO (Krall)
• Computer Aided Verification UE (Weissenbacher)
• Computer Aided Verification VU (Weissenbacher)
• Cryptocurrencies VU (Maffei)

D

• Diplomarbeit SE (diverse)
• Discrete Mathematics UE (diverse)
• Discrete Mathematics VO (Gittenberger)

F

• Fixed-Parameter Algorithms and Complexity VU (Ganian)
• Formal Methods for Security and Privacy VU (Maffei)
• Formal Methods for Security and Privacy VU (Maffei)
• Formale Methoden der Informatik UE (Kovacs)
• Formale Methoden der Informatik VU (Egly)

H

• Heuristic Optimization Techniques VU (Raidl)
• High Performance Computing VU (Träff)

I

• Information Technology in Automation VU (Kastner)

K

• Knowledge-based Systems VU (Egly, Eiter, Tompits)
• Kommunikation und Moderation VU (Pohl)

K (Fortsetzung)

• Kommunikation und Rhetorik 2 SE (Pichlmair, Riedler)
• Komplexitätstheorie VU (Pichler)
• Kryptographie VU (Egly)

N

• Network Security VU (Zseby)

P

• Parallele Algorithmen VU (Träff)
• Programmanalyse VU (Zuleger)

R

• Real-Time Scheduling VU (Schmid)

S

• SAT Solving und Erweiterungen VU (Egly)

W

• Wireless in Automation VU (Kastner)