TU Wien: Masterstudium Software Engineering & Internet Computing
Zur Navigation springen
Zur Suche springen
| Links | Ehemalige LVAs, Studienplan, TISS |
|---|---|
| VoWi-Stats |
|
Obligation: Pflichtfach
Advanced Software Engineering
- Advanced Software Engineering PR (Artner)
- Advanced Software Engineering PR (Tappeiner)
- Advanced Software Engineering VU (Christaki)
Advanced Software Engineering Project
Formal Methods in Computer Science
Internet Computing and Distributed Systems Technologies
Seminar in Computer Science
- Seminar in Computer Science - Computational Sustainability SE (Brandic)
- Seminar in Computer Science - Model Engineering SE (Bork)
- Seminar in Computer Science Formal Methods in Systems Engineering SE (Zuleger)
- Seminar in Computer Science Knowledge Representation and Reasoning SE (Eiter)
- Seminar in Computer Science SE (Träff)
- Seminar in Computer Science Software Engineering SE (Isychev)
- Seminar in Theoretical Computer Science – Graph Algorithms and Computational Geometry SE (Nöllenburg)
_no module mapping_
- Seminar für Diplomand innen für Software Engineering & Internet Computing SE (Christaki)
- Seminar für Diplomand innen für Software Engineering SE (Christaki)
Obligation: Gebundenes Wahlfach
AI Ethics *
AI Programming *
Advanced Internet Computing +
Advanced Logic Programming *
Advanced Multiprocessor Programming *
Advanced Reinforcement Learning *
Advanced Security
- Advanced Cryptography VU (Fuchsbauer)
- Advanced Privacy Enhancing Technologies VU (Schröder)
- Data Stewardship UE (Rauber)
- Data Stewardship VO (Rauber)
- Digital Forensics VU (Weippl)
- Formal Methods for Security and Privacy VU (Maffei)
- Network Security VU (Zseby)
- Seminar aus Security SE (Piller)
- Seminar aus Security SE (Weippl)
- Seminar aus Security Smart Contracts SE (Salzer)
- Smart Contracts VU (di Angelo)
- Symmetric Cryptography VU (Andreeva)
- Systems and Applications Security VU (Lindorfer)
Advanced Topics In Distributed and Next Generation Computing *
Advanced Topics In Verification and Automated Reasoning *
Algorithmic Encoding Techniques *
Algorithmic Geometry *
Algorithmics +
Algorithmik
- Advanced Research in Algorithmics VU (Chen)
- Algorithms in Graph Theory VU (Chen)
- Approximation Algorithms VU (Kellerer)
- Distributed Algorithms VU (Schmid)
- Graph Drawing Algorithms VU (Nöllenburg)
- KI Ethik VU (Van Berkel)
- KI Ethik VU (van Berkel)
- Mathematical Programming VU (Raidl)
- Modeling and Solving Constrained Optimization Problems VU (Di Gaspero)
- Optimization in Transport and Logistics VU (Raidl)
- Parallele Algorithmen VU (Hunold)
- Problem Solving and Search in Artificial Intelligence VU (Musliu)
- Problems in Distributed Computing VU (Schmid)
- Real-Time Scheduling VU (Schmid)
- Seminar aus Algorithmik Graphen und Geometrie SE (Nöllenburg)
- Seminar aus Algorithmik SE (Dreier)
- Seminar aus Algorithmik SE (Raidl)
- Seminar aus Algorithmik SE (Träff)
- Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory SE (Chen)
- Structural Decompositions and Algorithms VU (Peitl)
Artifact-based Design *
Artificial Intelligence for Computer Security *
Automated Deduction *
Beyond Exact Algorithms *
Business Intelligence *
Complexity Theory *
Computer-Aided Verification *
Computersprachen und Programmierung
- Analyse und Verifikation VU (Knoop)
- Codegeneratoren VO (Krall)
- Dynamic Compilation Dynamische Übersetzer VU (Krall)
- Effiziente Programme VU (Ertl)
- Fortgeschrittene funktionale Programmierung VU (Knoop)
- Fortgeschrittene logische Programmierung VU (Neumerkel)
- Fortgeschrittene objektorientierte Programmierung VU (Puntigam)
- GPU Architectures and Computing VU (Bartocci)
- High Performance Computing Hochleistungsrechnen VU (Träff)
- Mobile Robotik VU (Bader)
- Optimierende Übersetzer VU (Knoop)
- Parallele und Echtzeitprogrammierung VU (Blieberger)
- Programmiersprachen VU (Puntigam)
- Programming Principles of Mobile Robotics VU (Schreiner)
- Semantik von Programmiersprachen VU (Zuleger)
- Seminar aus Programmiersprachen SE (Ertl)
- Seminar aus Übersetzerbau SE (Knoop)
- Stackbasierte Sprachen VU (Ertl)
- Typsysteme VO (Puntigam)
Cryptocurrencies *
Database Theory *
Deep Learning for Natural Language Processing *
Distributed Systems and Networking
- Computer Networks VU (Siegl)
- Distributed Systems Engineering VU (Raith)
- Distributed Systems Engineering VU (Weidl-Rektenwald)
- Hands-On Cloud Native VU (Rauber)
- Hybrid Classic-Quantum Systems VU (De Maio)
- Hybrid Quantum - Classical Systems VU (De Maio)
- Pervasive and Mobile Computing VO (Siegl)
- Seminar in Distributed Systems SE (Dustdar)
- Wireless in Automation VU (Kastner)
Efficient Programs *
Fixed-Parameter Algorithms and Complexity *
Formal Methods in Computer Science
Formal Methods in Systems Engineering +
Formale Methoden und Theoretische Informatik
- Computer Aided Verification VU (Cerny)
- Computer-Aided Verification UE (Cerny)
- Formal Language Theory VU (Freund)
- Preferences in Artificial Intelligence VU (Woltran)
- Programmanalyse VU (Zuleger)
- Quantum Computing VU (Egly)
- SAT Solving und Erweiterungen VU (Egly)
- Seminar Formale Methoden SE (Kovacs)
- Seminar Formale Methoden SE (Weissenbacher)
- Seminar Formale Methoden SE (Zuleger)
- Seminar Formale Methoden SE (diverse)
- Seminar aus Logik SE (Dvorak)
- Seminar aus Logik SE (Egly)
- Seminar aus Logik SE (Fermüller)
- Seminar aus Logik SE (Ortiz de la Fuente)
- Seminar aus Theoretischer Informatik SE (Egly)
- Seminar aus Theoretischer Informatik SE (Ortiz de la Fuente)
- Seminar in Logic SE (Leitsch)
- Seminar in Theoretical Computer Science SE (Hose)
Generative AI *
Heuristic Optimization Techniques *
Hybrid Quantum-Classical Systems *
Informationssysteme
- Advanced Information Retrieval VU (Knees)
- Advanced Information Retrieval VU (Rauber)
- Datenbanksysteme Vertiefung VU (Pichler)
- Datenbanktheorie VU (Lanzinger)
- Datenbanktheorie VU (Pichler)
- Deductive Databases VO (Simkus)
- Knowledge Graphs VU (Sallinger)
- Media and Brain 1 Künstliches Bewusstsein VU (Eidenberger)
- Media and Brain 2 Künstliches Bewusstsein VU (Eidenberger)
- Semi-Automatic Information and Knowledge Systems VU (Ekaputra)
- Semi-Automatic Information and Knowledge Systems VU (Sabou)
- Seminar aus Datenbanken SE (Pichler)
Internet of Things *
Introduction to Computational Sustainability *
Learning Technologies and Learning Analytics *
Logic and Computability *
Low-Level Programming *
Machine Learning for Optimization *
Management of Graph Data *
Model Engineering *
Network Security *
Program Analysis *
Projekt aus Software Engineering & Internet Computing
- Project in Computer Science 1 Team-Based Research in Algorithmics PR (Chen)
- Project in Computer Science 2 Trends in cloud computing PR (Kovacs)
Responsible Digital Ethics *
Software Engineering
- Advanced Model Engineering SE (Bork)
- Advanced Model Engineering VU (Bork)
- Requirements Engineering and Specification VU (Grünbacher)
- Seminar in Software Engineering SE (Biffl)
- Seminar in Software Engineering SE (Christaki)
- Seminar in Software Engineering SE (Hunold)
- Seminar in Software Engineering SE (Isychev)
- Seminar in Software Engineering SE (Träff)
- Seminar in Software Engineering Smart Contracts SE (Salzer)
- Software Testing VU (Winkler)
Structural Decompositions and Meta Theorems *
Theoretical Foundations and Research Topics in Machine Learning *
Type Systems *
Wirtschaft und Management
- Enterprise Risk Management Fundamentals VU (Schwaiger)
- Project and Enterprise Financing VU (Aussenegg)
Obligation: Keine Angabe
Advanced Security
Algorithmik
- Algorithmic Meta-Theorems Algorithmische Meta-Theoreme VU (Dreier)
- Algorithmic Social Choice VU (Chen)
- Randomized Algorithms VU (Sorge)
- Sicherheit Privacy und Erklärbarkeit in Maschinellem Lernen VU (Rauber)
Computersprachen und Programmierung
Informationssysteme
_no module mapping_
- Advanced Project Management VU (Grechenig)
- Advanced Project Management VU (Tappeiner)
- Advanced Security for Systems Engineering VU (Fankhauser)
- Advanced Security for Systems Engineering VU (Mairhofer)
- Algorithmic Meta-Theorems Algorithmische Meta-Theoreme VU (Szeider)
- Algorithms in Graph Theory VU (Nöllenburg)
- Business Intelligence VU (Tjoa)
- Computer Aided Verification VU (Weissenbacher)
- Computer-Aided Verification UE (Weissenbacher)
- Configuration Management VU (Raab)
- Didaktik in der Informatik Abenteuer Informatik SE (Futschek)
- Diplomarbeit SE (diverse)
- Distributed Systems Technologies VU (Rausch)
- Einführung in Semantic Systems VU (Ekaputra)
- Einführung in Semantic Systems VU (Sabou)
- Einführung in Semantic Systems VU (Tjoa)
- Financial Management and Reporting VU (Aussenegg)
- Formale Methoden der Informatik UE (Lackner)
- Forschungsmethoden VU (Grechenig)
- IT Security in Large IT Infrastructures VU (Brem)
- IT Security in Large IT Infrastructures VU (Fankhauser)
- IT Security in Large IT Infrastructures VU (Schanes)
- Internet of Things for Smart Systems VU (Schulte)
- Introduction to Type Theories VU (Kovacs)
- Introduction to the Coq proof assistant VU (Ciabattoni)
- Knowledge Management UE (Dorn)
- Knowledge Management VO (Dorn)
- Kommunikation und Moderation VU (Pohl)
- Kommunikationstechnik SE (Dustdar)
- Mathematical Programming VU (Brandstätter)
- Mathematical Programming VU (Ruthmair)
- Membrane Computing VU (Freund)
- Mobile Network Services and Applications VU (Grechenig)
- Model Engineering VU (Kappel)
- Molecular Computing VU (Freund)
- Practical Applications of Answer Set Programming VU (Weinzierl)
- Privatissimum aus Fachdidaktik Informatik PV (Freund)
- Programming Principles of Mobile Robotics II VU (Schreiner)
- Project in Computer Science 1 - Machine Learning Algorithms and Applications PR (Gärtner)
- Project in Computer Science 1 - Machine Learning Algorithms and Applications PR (Thiessen)
- Requirements Engineering and Specification VU (Stallinger)
- Risikomanagement VU (Grechenig)
- Seminar Formale Methoden SE (Cerny)
- Seminar aus Algorithmik SE (Slivovsky)
- Seminar aus Logik SE (Hecher)
- Seminar aus Logik SE (Lolic)
- Seminar aus Security Formale Methoden für Sicherheit und Datenschutz SE (Farinier)
- Seminar aus Security Kryptowährungen SE (di Angelo)
- Seminar aus Security SE (Blieberger)
- Seminar aus Security SE (Fankhauser)
- Seminar aus Security SE (Mairhofer)
- Seminar aus Security Systems SE (Lindorfer)
- TU Wien:Seminar für Diplomand_innen SE (diverse)
- Seminar für Diplomand innen für Software Engineering & Internet Computing SE (Nöllenburg)
- Seminar in Distributed Systems Kryptowährungen SE (di Angelo)
- Seminar in Distributed Systems SE (Schulte)
- Seminar in Software Engineering SE (Blieberger)
- Seminar in Software Engineering SE (Grechenig)
- Seminar in Theoretical Computer Science SE (Fichte)
- Seminar in Theoretical Computer Science SE (Freund)
- Software Maintenance and Evolution VU (Bernhart)
- Software Model Checking VU (Weissenbacher)
- Software Quality Management VU (Grechenig)
- Software Testing VU (Artner)
- Software Testing VU (Bernhart)
- Software Testing VU (Ramler)
- Structural Decompositions and Algorithms VU (Slivovsky)
- Termersetzungssysteme VU (Moser)
- Theorie der Berechenbarkeit VU (Fokina)
- Web Application Engineering & Content Management VU (Dustdar)
- Web Application Engineering & Content Management VU (Grechenig)
- Web Application Engineering & Content Management VU (Mairhofer)
- Web Application Engineering & Content Management VU (Mayerhofer)
- Wissenschaftliche Methodik SE (Ertl)
- Workflow Modeling and Process Management VU (Dorn)
- Workflow Modeling and Process Management VU (Huemer)