HPI Colloquium (WT 2014/15) - tele-TASK

Model Counting opens new doors for Program Analysis

Listen Later
...more
View all episodesView all episodes
Download on the App Store
HPI Colloquium (WT 2014/15) - tele-TASKBy various lecturers

More shows like HPI Colloquium (WT 2014/15) - tele-TASK

View all
Design Thinking for Digital Engineering (SS 2018) - tele-TASK by Dr. Julia von Thienen

Design Thinking for Digital Engineering (SS 2018) - tele-TASK

0 Listeners

Einführung in die Programmiertechnik II (SS 2018) - tele-TASK by Prof. Dr. Andreas Polze

Einführung in die Programmiertechnik II (SS 2018) - tele-TASK

0 Listeners

Betriebssysteme II (SS 2018) - tele-TASK by Prof. Dr. Andreas Polze

Betriebssysteme II (SS 2018) - tele-TASK

0 Listeners

Internet Security (WT 2018/19) - tele-TASK by Prof. Dr. Christoph Meinel

Internet Security (WT 2018/19) - tele-TASK

0 Listeners

Neurodesign Lecture – Physiological Perspectives on Engineering Design, Creativity, Collaboration and Innovation (WT 2019/20) - tele-TASK by Dr. Julia von Thienen

Neurodesign Lecture – Physiological Perspectives on Engineering Design, Creativity, Collaboration and Innovation (WT 2019/20) - tele-TASK

0 Listeners

Neurodesign Lecture - Artificial Intelligence and the Neuroscience of Creativity (WT 2020/21) - tele-TASK by various lecturers

Neurodesign Lecture - Artificial Intelligence and the Neuroscience of Creativity (WT 2020/21) - tele-TASK

0 Listeners

Distributed Data Management (ST 2021) - tele-TASK by Dr. Thorsten Papenbrock

Distributed Data Management (ST 2021) - tele-TASK

0 Listeners

Neurodesign Lecture - Designing for Empathy in Business Contexts (Wintersemester 2021/2022) - tele-TASK by various lecturers

Neurodesign Lecture - Designing for Empathy in Business Contexts (Wintersemester 2021/2022) - tele-TASK

0 Listeners

Betriebssysteme I (WS 2021/22) - tele-TASK by Prof. Dr. Andreas Polze

Betriebssysteme I (WS 2021/22) - tele-TASK

0 Listeners

Ringvorlesung - Database Research (WT 2021/22) - tele-TASK by various lecturers

Ringvorlesung - Database Research (WT 2021/22) - tele-TASK

0 Listeners