Search for person "Jannis Harder"

Ein Algorithmus für alle Drehpuzzles

Einführung in die algorithmische Gruppentheorie

• 74 min
• 2023-11-03
• 153
• Jannis Harder

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

• 78 min
• 2019-11-09
• 89
• Jannis Harder

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

• 40 min
• 2019-11-09
• 63
• Jannis Harder

Künstliche Korrespondenz: Wie man nichtmenschliche Schreiberlinge entlarvt

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

Swiss Cybervoting PIT(falls)

• All about computers ChaosWest
• 18 min
• 2019-12-27
• 451
• Jannis Kirschner

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

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

DaDaDaDemo

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

Short Messenger

• 5 min
• 2019-09-29
• 159
• Benny, Jannis, Niklas, Niklas, Lennard and Jacob