Search for "problame"

Computer, die über Asyl (mit)entscheiden
59 min

Computer, die über Asyl (mit)entscheiden

Wie das BAMF seine Probleme mit Technik lösen wollte und…

Probleme mit E-Voting
40 min

Probleme mit E-Voting

Ein Überblick über die vielseitigen Probleme von…

Die göttliche Informatik
61 min

Die göttliche Informatik

Die Informatik löst formale (mathematisch modellierte)…

Die Zukunft hat zwei Wellen
31 min

Die Zukunft hat zwei Wellen

Ein Blick auf die Zukunft der Freifunk-Hardware (und was…

Wie funktionieren SAT-Solver?
40 min

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

cjdns
35 min

cjdns

Ein neues Internet entsteht

Was steckt in einem Spielautomaten?
56 min

Was steckt in einem Spielautomaten?

Ab 90er Videospiele und Flipper

Einführung in SAT-Solver
78 min

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?