Search for person "Jannis Harder" returned 7 results

Ein Algorithmus für alle Drehpuzzles

Einführung in die algorithmische Gruppentheorie

• 74 min
• 2023-11-03
• 159
• Jannis Harder
Nook 2023

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

• 40 min
• 2019-11-09
• 69
• Jannis Harder
MetaNook 2019

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

• 78 min
• 2019-11-09
• 93
• Jannis Harder
MetaNook 2019

Der Weg eines Schlaglochs von der Straße auf die Karte

• Praxisberichte
• 30 min
• 2024-03-20
• 372
• Asmus Harder and Melanie Fleischer
FOSSGIS 2024

Künstliche Korrespondenz: Wie man nichtmenschliche Schreiberlinge entlarvt

• Netzwerke, Security, Hard- & Software
• 59 min
• 2020-02-22
• 154
• Jannis Vamvas
Winterkongress 2020

Swiss Cybervoting PIT(falls)

• All about computers ChaosWest
• 18 min
• 2019-12-27
• 454
• Jannis Kirschner
36C3: Resource Exhaustion

DaDaDaDemo

• 5 min
• 2016-10-16
• 76
• Jannis, Joris, Anna, Klara, Hannah and Lukas
Jugend hackt 2016