... Кафедра существует с момента основания факультета ВМК МГУ в 1970 году. ... развитие методов верификации программ и технологий программирования на основе моделей . ... Спецсеминары кафедры Спецкурсы кафедры Просеминар для 2 курса Пропустить доступные курсы . ... Корныхин Е.В. Учитель: Денис Буздалов . ... Учитель: Евгений Корныхин . ... от Евгений Корныхин - вторник, 11 марта 2014, 18:21 . 13 марта состоится очередное заседание просеминара кафедры. ... История кафедры Пропустить Навигация . ...
... Главная . О центре . ... Научно-образовательный Центр компьютерного моделирования и безопасных технологий был создан при поддержке Федеральной целевой программы 'Интеграция' по разделу развития многопроцессорных вычислительных комплексов (супер-ЭВМ) коллективного пользования совместно с Российской академией наук в целях внедрения новейших вычислительных технологий, в частности, параллельных вычислений в области математического моделирования в фундаментальных научных исследованиях. ...
... О Cовете . Состав совета . ... Документы . ... Людмила Вербицкая подписала соглашение о сотрудничестве между правительс .. На соискание премии Президента Российской Федерации в области науки и ин .. ... Великий Новгород с рабочим визитом посетила Президент Российской академии образования (РАО), известный лингвист, филолог-русист Людмила Вербицкая. ... Глава региона Сергей Митин поблагодарил Людмилу Вербицкую за визит, рассказал о текущей деятельности новгородских ученых и готовящихся проектах. ...