Search for person "Jannis" returned 6 results

Ein Algorithmus für alle Drehpuzzles

Einführung in die algorithmische Gruppentheorie

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

Künstliche Korrespondenz: Wie man nichtmenschliche Schreiberlinge entlarvt

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

Swiss Cybervoting PIT(falls)

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

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

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

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

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

DaDaDaDemo

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