Search for "Michael Lauer" returned 103 results

Recht auf Remix

• 59 min
• 2013-12-29
• 251
• Leonhard Dobusch
30C3

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 4.0k
• Adam Chlipala
34C3: TUWAT

Fnord News Show

Der schonungslose Realitätsabgleich mit…

• 117 min
• 2013-12-29
• 10.6k
• frank and Fefe
30C3