Events for tag "29"

Wie funktionieren SAT-Solver?
40 min

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

Linux für Einsteiger
33 min

Linux für Einsteiger

Alles was man wissen muss um heute Abend noch Linux zu…