Faculty of informatics university of Lugano, Switzerland Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Cesare Pautasso Конференция: Computer Science семинар (Весна 2012) Дата записи:19.05.12 Дата публикации:19.05.12 <a href="https://www.youtube.com/embed/MzLRKQzwcq4?wmode=opaque">Embedded video for Faculty of informatics university of Lugano, Switzerland</a> Код для блога: 1807 Другие лекции конференции7 Verifying Specifications with Proof Scores in CafeOBJ Computer Science клуб при ПОМИ РАН Kokichi Futatsugi 2373 Обнаружение текста на изображениях Computer Science клуб при ПОМИ РАН Наталья Васильева 3605 1 Технологии формирования, обработки и визуализации стереоскопических ''3D'' изображений Computer Science клуб при ПОМИ РАН Алексей Колесов 3291 Адаптация алгоритма решения задачи квадратичного программирования применительно к моделированию клепочного процесса деталей Computer Science клуб при ПОМИ РАН Сергей Якунин 2113 1 Моделирование динамики в компьютерных играх, приложениях виртуальной реальности и тренажерах Computer Science клуб при ПОМИ РАН Андрей Морозов 2673 Service Oriented Computing with Resource Oriented Architectures Computer Science клуб при ПОМИ РАН Cesare Pautasso 1868 Local proof transformations for flexible interpolation and proof reduction Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1797