ЛекториумМедиатека
Личный кабинет

Computer Science семинар (Весна 2012)

Программа курса

Лекции

8
  1. Verifying Specifications with Proof Scores in CafeOBJKokichi Futatsugi
  2. Обнаружение текста на изображенияхНаталья Васильева
  3. Технологии формирования, обработки и визуализации стереоскопических «3D» изображенийАлексей Колесов
  4. Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталейСергей Якунин
  5. Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерахАндрей Морозов
  6. Faculty of informatics university of Lugano, SwitzerlandCesare Pautasso
  7. Service Oriented Computing with Resource Oriented ArchitecturesCesare Pautasso
  8. Local proof transformations for flexible interpolation and proof reductionНаталья Шарыгина

Онлайн-курсы по программированию

3