Mario & Sonic at the Olympic Games Tokyo 2020 - All New Record Animations

Vídeos relacionados

1:22:49

10. Монады

8.3k • 3 years ago

1:30:11

1. Лямбда-исчисление

26k • 3 years ago

1:25:34

13. Вывод типов

10k • 3 years ago

1:27:41

1. Семантика и её значение

18k • 3 years ago

1:32:49

8. Введение в слабые модели памяти

1.9k • 3 years ago

1:21:30

9. Дерево ван Эмде Боаса. Быстрый цифровой бор

1k • 3 years ago

1:42:15

6. Семантика малого шага, логика Хоара

1.5k • 3 years ago

1:24:33

2. Введение в Coq

2.8k • 3 years ago

1:55:32

9. Декларативные модели памяти (1/2)

1.2k • 3 years ago

58:40

3. Семантика большого шага для императивного языка

1.6k • 3 years ago