Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
HIW 2018
Ghosts of Departed Proofs (Functional Pearl)
Pier: Yet another Haskell build tool
Generalized Abstract GHC.Generics
FHPC 2018
Учащимся об информатике и компьютерах, 1988
Алгоритмы на Python 3. Лекция №1
Это фиаско или торжество Трампа ?
Защита диссертации на соискание степени докт. PhD по спец. 6D030100 «Юриспруденция» Темиргазина Р.Х.
Как Гений Математик разгадал тайну вселенной
КАК УСТРОЕН TCP/IP?
Почему река Лена - самая ЖУТКАЯ Река в Мире
САПР в машиностроении. Фильм 1, 1986
Фильм Алексея Семихатова «ГРАВИТАЦИЯ»
Борис Трушин: Красивые математические задачи с айтишных собеседований
Религиозная война. Преследование христиан в Иране. Андрей Кураев*: Персонально ваш
Электричество НЕ течёт по проводам — тревожное открытие Ричарда Фейнмана
Евстафьев - Трамп в ловушке: Почему Вашингтон готовит новый Уотергейт и при чем тут папки Эпштейна?
ОАЭ Стирают с Карты Ормузский Пролив и Строят Свой Секретный Обход
Audi Quattro: секретный проект, который разгромил всех на трассе и переписал правила автоспорта