Последние добавленные видео:
Turingova-cena
-
12 лет назад
55 12 лет назад 2:52[DuRuofei.com][SD] Turing Award Winners
-
4 года назад
133 4 года назад 7:20Sifakis on Verimag and "correctness by construction."
-
5 лет назад
308 5 лет назад 1:28Hopcroft on his first computer experience.
-
4 года назад
293 4 года назад 5:17Sifakis defines model checking
-
1 год назад
153558 1 год назад 15:44And this year's Turing Award goes to...