News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
News
RSS, last 100
Podcast feed of the last two years
SD quality
Podcast audio feed of the last year
Podcast archive feed, everything older than two years
SD quality
Search for person "Asmus Harder"
30 min
Der Weg eines Schlaglochs von der Straße auf die Karte
Praxisberichte
30 min
2024-03-20
342
Asmus Harder
and
Melanie Fleischer
FOSSGIS 2024
74 min
Ein Algorithmus für alle Drehpuzzles
Einführung in die algorithmische Gruppentheorie
74 min
2023-11-03
153
Jannis Harder
Nook 2023
78 min
Einführung in SAT-Solver
Was sind SAT-Solver und wie verwende ich diese?
78 min
2019-11-09
89
Jannis Harder
MetaNook 2019
40 min
Wie funktionieren SAT-Solver?
Ein Einblick in die Implementierung eines SAT-Solvers
40 min
2019-11-09
63
Jannis Harder
MetaNook 2019