Course Number Language

Transcription

1 Name Automated code analysis for large software systems iv English /14 Cloud Security se English and /14 Cryptography, Privacy and Security se English and /14 Current Topics in Multicore Semantics se English /14 Database systems II iv English /14 Efficient Graph Algorithms iv English and /14 Formal Specification se English /14 Implementation of Programming Languages pr English /14 Lab Algorithms for Chip Design Tools pr English and /14 Middleware iv English /14 Modeling Lab pr English /14 Modern C++ Programming pr English /14 Multimedia Technology se English and /14 Natural Language Processing and the Web iv English /14 Operating Systems iv English /14 Peer-to-Peer Networks iv English /14 Performance and Scalability of E-Commerce-Systems vl English 5 winter term /14 Physical Layer Security in Wireless Systems iv English and /14 Programming parallel Computer Architectures iv English /14 Recommender Systems se English and /14 Research course tools for secure multi-party computation se English and /14 Robot Learning vl English and /14 /14 /14 Security and the Cloud - The Issues and Metrics se English and /14 Security of Software Defined Networking se English /14 Smart Cities se English and /14 TK: Security, Privacy and Trust se English /14 Serious Games Lab pr English and /14 Page 1/6

2 Name Serious Games Project pp English and /14 Serious Games se English and /14 Simulation and evaluation on computer networks iv English and /14 Smart Grid Informatics and Trustworthiness se English /14 Smartphone-Security for Android Applications pr English and /14 Software Architecture se English /14 Software Development Tools pr English and /14 Software Engineering - Design and Construction iv English /14 Software Engineering - Projectmanagement vl English 5 winter term /14 Software Engineering in industrial practice vl English /14 TK1: Distributed Systems iv English /14 Topics in Network Security se English and /14 Type Systems of Programming Languages iv English /14 Wireless Sensor Networks pr English /14 Advanced Topics in Mobile Networking se English Advanced Topics in Scientific Visualization se English and Automatic Theorem Proving iv English and Computer Vision iv English Concepts of Programming Languages iv English Constructive Side Channel Analysis pr English and Design and Implementation of Modern Programming Languages se English Discussion Metaprogramming se English Educational Computer Science se English and Enterprise Application Design iv English Formal Methods for Information Security iv English Game Technology pp English and GPU Cluster Computing iv English and HandsOn Training - Software Security for Mobile Devices pr English Human Centred Security iv English Page 2/6

3 Name Implementation of Programming Languages pr English Implementing Secure & Reliable Software se English IT Solutions with Software Engineering in Practice iv English Large-scale Information Processing iv English and Machine Learning: Statistical Approaches iv English Mechanizing mathematical theory of programming languages: Operational semantics of WHILE in COQ iv English 5 summer term Mobile Security se English and Network Security iv English Operating Systems II: Dependability and Trust iv English Peer-to-Peer-Middleware pr English Post-Quantum Cryptography se English Recommender Systems Project pr English and Robot Learning se English and Scale Space and PDE methods in image analysis and processing se English Secure Coding Lab pr English Secure Mobile Systems vl English Security and Privacy in Smart Grid Critical Infrastructures pr English and Security Metrics in Cloud Computing se English and Semantic Transformations vl English and Advanced Topics in Computer Vision and Machine Learning se English and on Multimedia Technology se English and P2P se English and Semantic Transformations se English and Smart Grid Informatics and Trustworthiness se English Software Engineering - Design and Construction iv English Software Security for Mobile Devices se English Symbolic Execution se English and Page 3/6

4 Name Wireless Sensor Networks se English 3D Video and Mobile Peer-to-Peer Systems se English and Advanced Machine Learning: Project Class pp English Computer Vision II iv English Constructive Side Channel Analysis pr English and Cryptographic Gems iv English and Cryptography, Privacy and Security se English and Current Topics in Information Flow Security se English Database systems II iv English Digital Signatures se English and Educational Computer Science se English and Efficient Graph Algorithms iv English and Formal Specification se English Game Technology pp English and Implementation of Programming Languages pr English Lab Algorithms for Chip Design Tools pr English and Machine Learning: Statistical Approaches iv English Malware se English and Middleware iv English Modeling Lab pr English Natural Language Processing and the Web iv English Operating Systems iv English Peer-to-Peer Networks iv English Performance and Scalability of E-Commerce-Systems vl English 5 winter term Persistent Storage - Data Structure and Algorithms vl English Post-Quantum Cryptography iv English Programming parallel Computer Architectures iv English Recommender Systems se English and Research-orientend Cryptography iv English and Page 4/6

5 Name Robot Learning vl English and Security and Privacy in Smart Grid Critical Infrastructures pr English and Security Metrics in Cloud Computing se English and Security, Usability and Society se English and Smart Cities se English and Smart Grid Informatics and Trustworthiness se English Software Development Tools pr English and Software Engineering - Projectmanagement vl English 5 winter term Statical and dynamical program analysis iv English Topics in Network Security se English and Wireless Sensor Networks pr English Advanced Topics in Mobile Networking se English Advanced Topics in Scientific Visualization se English and Automatic Theorem Proving iv English and Classical Results in Modern Cryptography se English Computer Vision iv English Concepts of Programming Languages iv English Current Topics in Usage Control se English Dependable/Secure Mobile Computing se English Design and Implementation of Modern Programming Languages se English Enterprise Application Design iv English Formal Methods for Information Security iv English Game Technology pp English and GPU Cluster Computing iv English and HandsOn Training - Software Security for Mobile Devices pr English Implementation of Programming Languages pr English Implementing Secure & Reliable Software se English Page 5/6

6 Name Machine Learning: Statistical Approaches iv English Mobile Security se English and Network Security iv English Operating Systems II: Dependability and Trust iv English Peer-to-Peer-Middleware pr English Post-Quantum Cryptography se English Robot Learning se English and Scale Space and PDE methods in image analysis and processing se English Secure Coding Lab pr English Secure Mobile Systems vl English Security Metrics in Cloud Computing se English and Semantic Transformations vl English and Advanced Topics in Computer Vision and Machine Learning se English and on Multimedia Technology se English and P2P se English and Semantic Transformations se English and Software Engineering - Design and Construction iv English Software Security for Mobile Devices se English Tele-cooperation se English Usable Security and Electronic Voting pr English and Wireless Sensor Networks se English Last changed: Please note that the availability as well as the number of ECTS are not binding. For current information please see TUCaN. Page 6/6