... Профессор кафедры, заведующий отделом Института системного программирования РАН. ... KVEST: Automated Generation of Test Suites from Formal Specifications // Proceedings of World Congress of Formal Methods - Toulouse, France, LNCS, 1999, N 1708, pp. 608-621 (co-auth.: ... Formal Methods and Innovation Economy: Facing New Challenges (соавт.: О. Л. Петренко) // Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods, Cape Town, South Africa, 2008. ...

Еще в разделе: (Показать все результаты (>135) - sp.cs.msu.ru/ )

• Иванников Виктор Петрович
• Шура-Бура Михаил Романович
• Веденеев Евгений Петрович

... 1, Математика. Механика. C. 80-82. 10 июля 2000 г. исполняется 70 лет со дня рождения заведующего кафедрой гидромеханики механико-математического факультета Московского государственного университета, доктора физико-математических наук, профессора Владимира Павловича Карликова. ... Ученик Л.И. Седова, выпускник механико-математического факультета МГУ, В.П. Карликов после успешной защиты в 1957 г. кандидатской диссертации был оставлен на кафедре гидромеханики для работы в должности ассистента. ...

Еще в разделе: (Показать все результаты (>805) - vestnik.math.msu.su/ )

• Вестник Московского Университета. Математика, Механика
• Вестник МГУ. Математика. Механика Редколлегия журнала "Вестник Московского

... 1, Математика. Механика. C. 80-82. 10 июля 2000 г. исполняется 70 лет со дня рождения заведующего кафедрой гидромеханики механико-математического факультета Московского государственного университета, доктора физико-математических наук, профессора Владимира Павловича Карликова. ... Ученик Л.И. Седова, выпускник механико-математического факультета МГУ, В.П. Карликов после успешной защиты в 1957 г. кандидатской диссертации был оставлен на кафедре гидромеханики для работы в должности ассистента. ...

Еще в разделе: (Показать все результаты (>1904) - new.math.msu.su/ )

• Каштанов Виктор Алексеевич
• Официальный сайт механико-математического факультета МГУ имени М.В.Ломоносова
• Вестник Московского Университета. Математика, Механика

Образовательная программа проекта рассчитана на использование при подготовке специалистов в различных областях космической физики, астрономии и наук о Земле. ... Cпециальный космофизический практикум рассчитан на студентов старших курсов инженерно-космических и космофизических специальностей и призван научить их некоторым методам работы с научной и инженерной информацией, поступающей с научно-исследовательских спутников. ...

Еще в разделе: (Показать все результаты (>48) - cosmos.msu.ru/ )

• Научная школа-семинар "Космос: наука и образование - 2007" (Ульяновск, 15-20

ИСТОРИЯ ГАИШ - хроника, музей, персоналии, мемуары . ГАИШ В ЛИЦАХ . ПЕРСОНАЛИИ Астрономической обсерватории Московского университета и ГАИШ . ... Астроном, известный небесный механик. ... Е. закончил 7-ю среднюю школу Смоленска (1964) и поступил на астрон. отделение физфака МГУ на., а по его окончании (1970) - там же в аспирантуру на каф. небесной механики, астрометрии и гравиметрии. ... Научная работа Е. связана с исслед. движения ИСЗ и естественных спутников планет. ... Месткома ГАИШ. ...

Еще в разделе: (Показать все результаты (>489) - lnfm1.sai.msu.ru/ )

• Отдел Изучения Галактики и переменных звезд
• Астрономическое отделение. Преподавание астрономии и астрофизики в Московском
• Отдел небесной механики ГАИШ

... В 1885 г. поступил на медицинский факультет Московского университета . ... По возвращении в Россию Гулевич был назначен экстраординарным профессором медицинского факультета Харьковского университета , но уже в июне 1901 г. он экстраординарный, а в 1904 г. ординарный профессор Московского университета по кафедре медицинской химии. ... Правительственным постановлением имя Гулевича было присвоено кафедре биологической химии 1-го Московского медицинского института. ...

Еще в разделе: (Показать все результаты (>15670) - www.nature.web.ru/ )

• V Московская студенческая командная олимпиада по программированию
• Гавриил Афанасьевич Иванов
• Николай Саввич Тихонравов

... Кандидат химических наук, старший преподаватель. ... Зефирова О. Н., Зайцева Е. А., Богатова Т. В. Преподавание истории химии в Московском университете: лекторы и их курсы. ... Лунин В.В., Богатова Т.В., Зайцева Е.А., Зефирова О.Н. Преподавание истории химии в Московском университете: лекторы и их курсы. ... Богатова Т.В., Зайцева Е.А., Зефирова О.Н. История химии: преподавание, кафедра, кабинет // Химический факультет МГУ: путь в три четверти века . ... Зефирова О.Н., Богатова Т.В. (составители). ...

Еще в разделе: (Показать все результаты (>338) - www.chem.msu.ru/ )

• Научно-образовательный Центр по нанотехнологиям Московского государственного
• Первый Московский международный химический саммит
• LXVI Московская олимпиада школьников по химии (2010)

М.М. Ковалевский: биография . ... В Лондоне в 1876 г. Максим Максимович встретился и подружился с преподавателем Московского университета экономистом И.И.Янжулом (1846-1917), командированным за границу для подготовки к магистерскому экзамену. ... После введения Нового университетского Устава 1886 г., М.М. Ковалевский 'за отрицательное отношение к государственному строю России' в 1887 году был уволен из Московского университета. ... Он читал лекции в ведущих университетах Европы и Америки. ...

Еще в разделе: (Показать все результаты (>155) - newserv.srcc.msu.ru/ )

. 5-9 класс . 10-11 класс . Ответы . Тесты 5-9 класс . Тесты 10-11 класс . Вариант 5-9 класс . Вариант 1 10-11 класс . Вариант 2 10-11 класс

50. Центр национального интеллектуального резерва | Московский государственный

51. http://www.esti.msu.ru/

52. Ботанический сад Московского университета

53. Предыстория кафедры в Московском университете

54. http://srcc.msu.ru/nivc/about/lab/lab1_7/univer_press4/ItemsJ23.htm

55. Сергей Попов

56. Александров П.С., Гельфанд И.М., Головин О.Н. - Труды Московского

57. Кафедра иммунологии Биологического факультета | Московский государственный

58. Факультет фундаментальной медицины МГУ

59. УНЦ ДО - Московская правда

60. Сайт кафедры магнетизма Физического Факультета Московского Государственного