Search for "sat" returned 5876 results

Einführung in SAT-Solver
78 min

Einführung in SAT-Solver

Was sind SAT-Solver und wie verwende ich diese?

Wie funktionieren SAT-Solver?
40 min

Wie funktionieren SAT-Solver?

Ein Einblick in die Implementierung eines SAT-Solvers

osmo-gmr: What's up with sat-phones ?
60 min

osmo-gmr: What's up with sat-phones ?

Piecing together the missing bits

Die Zukunft hat zwei Wellen
31 min

Die Zukunft hat zwei Wellen

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

Firmware Fat Camp
42 min

Firmware Fat Camp

Embedded Security Using Binary Autotomy

Adding Salt to AutoYaST
28 min

Adding Salt to AutoYaST

Integration between AutoYaST and Configuration Management…

Salt Stack -Zentrales Systemmanagement der neuen Generation
55 min

Salt Stack -Zentrales Systemmanagement der neuen Generation

IT Automatisierung und zentrales Management mit SALT

DG112: Wer hat den kleinsten Anhang?
53 min

DG112: Wer hat den kleinsten Anhang?

Erste Hilfe für sinnvolle Mediendateigrößen