Search for person "Johannes Lenz-Hawliczek" returned 130 results

35 min
Program verification with SPARK
When your code must not fail

119 min
CR233: Glasfaserausbau
Wo geht's hier zum Gigabit?

31 min
HERE XYZ & QGIS
ein neuer Open-Source-Map-Hub made by HERE

22 min
Karten aus QGIS ins Buch, Web oder auf die Leinwand
Eine Übersicht der vielseitigen Exportmöglichkeiten von QGIS

43 min
Resource Control @FB
Functional resource control using cgroup2

30 min
“Nabovarme” opensource heating infrastructure in Christiania
Freetown Christiania´s digitally controlled/surveyed…

28 min
EVVA AirKey als Privacy-by-Design-Projekt
Zutrittskontrolle und Datenschutz - Ein vermeintlicher…
![A NEW HOPE [de]](https://static.media.ccc.de/media/congress/2023/11904-ebbb938f-c1f7-4aad-a37d-ba1aea84eac0.jpg)
40 min
A NEW HOPE [de]
Ein Pep Talk für alle, die gerade verzweifeln

120 min
CR247: Computerspieleentwicklung
Eine anekdotische Einführung in die Gaming-Branche

58 min