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

Faculty of informatics university of Lugano, Switzerland

Лекции курса

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

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

3