SE Seminar für DissertantInnen | | 2.0 | 3.0 |
| | 2.0 | 3.0 |
SE Forschungsseminar für DissertantInnen | | 2.0 | 3.0 |
SE Literaturseminar für DissertantInnen | | 2.0 | 3.0 |
SE Seminar für Dissertanten | | 2.0 | 3.0 |
SE Forschungsseminar für DiplomandInnen und DissertantInnen | | 2.0 | 3.0 |
PV Privatissimum für DissertantInnen | | 2.0 | 3.0 |
VU Open Problems in Computer Vision | | 2.0 | 3.0 |
SE Dissertantenseminar | | 2.0 | 3.0 |
VO Introduction to Logical Methods in Computer Science | | | 3.0 |
SE Research Seminar LogiCS | | 2.0 | 3.0 |
VU Advanced Topics in Service-Oriented Computing and Cloud Computing | | 2.0 | 3.0 |
SE Research and Career Planning for Doctoral Students | | 2.0 | 3.0 |
VU Philosophie of Science | | 2.0 | 3.0 |
VU Fundamental research methods for doctoral students | | 2.0 | 3.0 |
VU Advanced Topics in Web of Data | | 2.0 | 3.0 |
VU Ausgewählte Themen der Informationssicherheit | | 3.0 | 6.0 |
VU Summer School | | | 3.0 |
VU Dynamic Epistemic Logic | | 2.0 | 3.0 |
VU Introduction to deontic logic: challenges, formal systems, applications | | 2.0 | 3.0 |
VU Design of Asynchronous Circuits and Systems | | 2.0 | 3.0 |
VU Software Testing: From Basic Concepts to Advanced Topics | | 2.0 | 3.0 |
VU Software Design for Cyber-Physical Systems | | 2.0 | 3.0 |
VU Verification of Probabilistic Programs | | 2.0 | 3.0 |
VU AI Policies: The Evolving Legal Domain | | 2.0 | 3.0 |
VU Defeasible Reasoning | | 2.0 | 3.0 |
VU Design-for-Trust in VLSI Circuits | | 2.0 | 3.0 |
