... О лаборатории . ... Состав лаборатории . ... Основным направлением деятельности группы является нанооптика различных типов наноструктур, включая метаматериалы. ... Submitted by Маруся_П on Thu, 04/07/2016 - 13:21 . ... Submitted by Маруся_П on Wed, 03/30/2016 - 09:42 . ... В эту пятницу, 4 марта, состоится лабораторный семинар, на котором выступит Константин Катамадзе, сотрудник Лаборатории квантовых оптических технологий (рук. ... Submitted by Маруся_П on Fri, 02/19/2016 - 16:49 . ...
... Общеуниверситетские подготовительные курсы . ... close this panel . ... Учебный процесс . ... Общеуниверситетские подготовительные курсы готовят слушателей к поступлению на все факультеты Московского университета. ... Учебная нагрузка составляет 4 академических часа (2 пары) в неделю по каждому выбранному предмету. Занятия по одному предмету происходят в течение одного вечера каждую неделю (т.е. сколько предметов слушатель выбирает, столько дней в неделю он и занимается на курсах). ...
... Анкета участника . ... АБАЕВ ЫЛХАМ (Туркменистан), Астраханский государственный технический университет, Астрахань, Россия . ... БАКАР ФЕРНАНДО (Мозамбик), Саратовский государственный медицинский университет имени В.И. Разумовского, Саратов, Россия . ... БОННЭР ЯН, Казанский федеральный университет, Казань, Россия . ... ВАН ШУАН (КНР), Московский государственный университет имени М.В. Ломоносова, . ... У ДАНЬДАНЬ (КНР), Московский государственный университет имени М.В. Ломоносова, Москва, Россия . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Ph.D., Associate Professor, School of Public Administration, Lomonosov Moscow State University. ... Пурлик В.М. Инновации как ключевой фактор модернизации экономики // Вестник Московского университета. Сер. ... Управление (государство и общество). ... Пурлик В.М. Финансовые кризисы в компании в контексте жизненного цикла организации // Вестник Московского университета. ... Пурлик В.М. Управление компанией с позиции роста стоимости бизнеса // Вестник Московского университета. ...