Software Verification (2009)
АвторНаталья Шарыгина
ОрганизаторComputer Science клуб при ПОМИ РАН
Лекции
2Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями

Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный

Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный
Ещё курсы Натальи Шарыгиной
3Программный анализ и формальные методы верификации
2 лекции · Наталья Шарыгина
Computer Science семинар (Весна 2012)
8 лекций · Cesare Pautasso и ещё 6
Software Verification (2010)
3 лекции · Наталья Шарыгина