Portal:Vertiefungen
Aus VISki
<< Obligatorische Fächer der Vertiefung , Master | Gess >>
Note: There may be more lectures in the portals of the master tracks
Autumn Semester
- Advanced Algorithms
- Advanced Compiler Design
- Advanced Operating Systems
- Algebraic Methods in Combinatorics
- Algorithmic Game Theory
- Big Data
- Computational Biology
- Computational Systems Biology
- Computer Architecture
- Computer Graphics
- Computer Vision
- Concepts Of Object-Oriented Programming
- Cryptography
- Data Mining: Learning from Large Data Sets
- Deep Learning
- Design of Parallel and High-Performance Computing
- Distributed Algorithms
- Formal Methods for Information Security
- Geometry: Combinatorics and Algorithm
- Information Retrieval
- Introduction to Finite Elements and Sparse Linear System Solving
- Machine Learning
- Mathematical Optimization
- Network Security
- Physically-Based Simulation in Computer Graphics
- Probabilistic Artificial Intelligence
- Randomized Algorithms and Probabilistic Methods
- Reliable and Interpretable Artificial Intelligence
- Security Engineering
- Security of Wireless Networks
- System Construction
- System Security
- Visualization
Spring Semester
- 3D Vision
- Advanced Computer Networks
- Advanced Data Structures
- Algorithmics for Hard Problems
- Approximation and Online Algorithms
- Combinatorial Optimization
- Compiler Design I
- Computational Vision
- Concepts of Concurrent Computation
- Cryptography Foundations
- Cryptographic Protocols
- Digital Signal and Image Processing
- Formal Methods for Information Security
- Geometric Integer Programming
- Graphs and Algorithms
- Graph Theory
- How To Write Fast Numerical Code
- Invitation to Quantum Informatics
- Linear Algebra Methods in Combinatorics
- Machine Perception
- Managing Large Data
- Mathematical Foundations of Computer Graphics and Vision
- Methods for Design of Random Systems
- Models of Computation
- Natural Language Understanding
- Object Databases
- Optimization for Data Science
- Parallel Numerical Computing
- Principles of Distributed Computing
- Program Analysis for System Security and Reliability
- Program Verification
- Shape Modeling and Geometry Processing
- Statistical Learning Theory
- Ubiquitous Computing
- Web Engineering
Former Courses
- Boolean Satisfiability - Combinatorics and Algorithms
- Eingebettete Systeme
- Enterprise Application Integration
- Informationstechnologie im Digitalen Produkt
- Introduction to Computer Graphics
- IT Security and Risk Management
- Mobile and Personal Information Systems
- Mobile Computing for IEEE 802 Wireless Networks
- Multimedia Communications
- System Development in Event-B
- XML und Datenbanken
Links
