. Кафедра автоматизации научных исследований ВМК МГУ ( http://ani.cs.msu.su ) . Главная > Printer-friendly > Printer-friendly . А.М. Попов ?Вычислительные нанотехнологии?. ? М.: Изд. отд. ф-та ВМК МГУ; МАКС-Пресс, 2009. ? 280 с. Источник: http://ani.cs.msu.su/ru/courses/comput-physics/materials .

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

• Учебные материалы по курсу ?Введение в численные методы?
• Учебные материалы по курсу ?Визуализация в научных исследованиях?
• Учебные курсы

. UMCommands2007.pdf (команды учебной машины) . example10p4.rtf . example10p5.rtf . example10p6.rtf . example13.rtf . example16p2.rtf . example18p6.rtf . Вопросы к экзамену

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

• Учебная работа | Кафедра алгоритмических языков ВМК МГУ
• Кафедра алгоритмических языков ВМК МГУ
• Учебные пособия | Кафедра алгоритмических языков ВМК МГУ

. Главная страница Новости . Материалы для поступающих в аспирантуру в 2005 году . В среду 7 сентября 2005 г. в 10:00 состоялся вступительный экзамен в аспирантуру по специальности. Материалы для подготовки: . Cтарая программа дополнительной части по специальности 05.13.11. Новая программа дополнительной части по специальности 05.13.11. Программа общей части . Кафедра системного программирования ВМК МГУ. Обновлено: 4.10.2005

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

• События. 2008 г.
• Заседание научно-исследовательского семинара. 18 октября 2006 г.
• Заседание научно-исследовательского семинара. 8 ноября 2006 г.

... Обучение . ... Проводится запись на очные курсы СУНЦ МГУ на 2011-12 учебный год . ... ФМШ.ру - обучение одаренных детей . ... Александр Сергеевич Грибоедов . ... Константин Сергеевич Станиславский . ... Школьные новости . 08.12.2012 День рождения школы . ... архив новостей >> . Образовательные новости . ... Новости выпускников . ... Клоков Александр, выпускник 1968 года, 10Д класс . ... Клоков Александр Сергеевич, выпускник 1968 г., 10Д . архив писем >> . ...

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

• www.pms.ru :: О сайте
• ФМШ.ру - СУНЦ МГУ - физико-математическая школа им. А.Н.Колмогорова (ФМШ 18 при
• Юлий Ким

. Name . Last modified . Size . Description . Parent Directory . - . Аннотация.doc . 16-Nov-2009 12:36 . 35K . mashechkin20090226.ppt . 16-Nov-2009 12:33 . 2.9M . Apache/2.2.3 (CentOS) Server at jaffar.cs.msu.ru Port 80

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

... Организация: МГУ имени М.В. Ломоносова . ... 2011-2015 НИИ механики МГУ . ...

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

... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...

128. Index of /mash/os/About Lab/Материалы

129. Интеллектуальные системы :: Учеба :: Курсы :: Материалы к спецкурсу

130. Материалы к Совещанию

131. Троичная информатика

132. Основы робототехники | Кафедра НДСиПУ

133. Физико-химический факультет МГУ

134. Лекции

135. МГУ в фотографиях - фото-галерея главного здания МГУ

136. X-Files (Секретные материалы) [1998] - Фильм - Фильмы - Kinfo.ru

137. ВМиК - Online! : Интересно - Материалы лекции Мишель Мур, Ernst'n'Young

138. Учебные материалы для Биологического факультета

139. http://ndsfile.cmc.msu.ru/files/yarmarka_kafedr_2010.doc

140. Seminars