Hauptnavigation

• Homepage
• News
• Workgroups
• Servicegroups
• Research
• Study and Teaching
• Information for High School Students
• Sponsors
• About Us
• Contact
• Imprint
• Search
• Login Area

Study Courses Student Consulting Specialisation Student Union Further Information 

Inhalt der Seite

Specialisation

Theoretical Computer Science

• Automaten, Logik und Verifikation
• Efficient Algorithms
• Logik und Komplexitätstheorie
• Programming Languages and Verification
• Software Modelling and Verification

Practical Computer Science

• Computer Graphics and Multimedia
• Computerunterstütztes Lernen und Wissensstrukturierung
• Data Bases and Data Mining
• Embedded Systems
• High-Performance Computing
• Information Systems and Databases
• IT-Security
• Kommunikationssysteme
• Artificial Intelligence and Knowledge-based Systems
• Medieninformatik und Mensch-Maschine-Interaktion
• Software-Konstruktion
• Softwaretechnik
• Human Language Technology and Pattern Recognition