Search for person "Andreas Von Gunten" returned 257 results

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Defense is not dead
64 min

Defense is not dead

Why we will have more secure computers - tomorrow

Moonbounce Radio Communication
48 min

Moonbounce Radio Communication

To the Moon and back in two seconds. The joy of light speed…

Fnord-Jahresrückblick 2010
83 min

Fnord-Jahresrückblick 2010

von Atomausstieg bis Zwangsintegration

BRAINREPUBLIC - Powered by MongoDB & Co.
55 min

BRAINREPUBLIC - Powered by MongoDB & Co.

Powered by MongoDB und RabbitMQ

Operating Systems dissected
51 min

Operating Systems dissected

Was passiert im Hintergrund?

Vier Fäuste für ein Halleluja
54 min

Vier Fäuste für ein Halleluja

Geschichten aus dem API-und Protokollkrieg von zwei…

computer.spiele.politik
109 min

computer.spiele.politik

Die Computerspieldebatte und wie man darin überlebt (Panel)

Fnord-Jahresrückblick 2009
78 min

Fnord-Jahresrückblick 2009

Von Abwrackprämie bis Zensursula

Horch mal, wer da funkt
46 min

Horch mal, wer da funkt

Signal Intelligence selbstgemacht