Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)
- 04:36, 2 июня 2011 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 10:19, 4 апреля 2011 (история) (разн.) Численные Методы (→Содержание курса)
- 15:20, 10 января 2011 (история) (разн.) Тигры (→Теория игры и исследования операций)
- 15:13, 10 января 2011 (история) (разн.) Тигры (→Что спрашивают? Примеры)
- 15:06, 10 января 2011 (история) (разн.) Тигры (nazi)
- 06:45, 9 января 2011 (история) (разн.) ПОД (3 поток), Ответы (→Алгоритмы оптимизации программ, влияющие на точность вычислений.)
- 06:35, 3 ноября 2010 (история) (разн.) Экономика, 08 лекция (от 30 октября) (→Рынок капитала) (последняя)
- 17:02, 27 октября 2010 (история) (разн.) Поиск, 02 лекция (от 20 октября) (→Серверная сторона)
- 05:06, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября) (→)
- 05:04, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября) (→)
- 07:22, 27 сентября 2010 (история) (разн.) Изображение:Msu cmc relations.png (последняя)
- 05:57, 27 сентября 2010 (история) (разн.) МФСП, 03 семинар (от 15 сентября) (→Множества в RSL)
- 05:55, 27 сентября 2010 (история) (разн.) МФСП, 03 семинар (от 15 сентября) (→Множества в RSL)
- 05:35, 13 сентября 2010 (история) (разн.) МФСП
- 10:37, 26 марта 2010 (история) (разн.) Лекции/Ресурсы
- 12:18, 7 ноября 2009 (история) (разн.) Обсуждение:Научная работа и научные руководители (Новая: Гм. Опять непонятки. Тащить сюда всю инфу с сайта СП и потом обновлять в двух местах? Не тащить, сделать...) (последняя)
- 12:12, 7 ноября 2009 (история) (разн.) Научная работа и научные руководители (→Кафедра системного программирования (СП))
- 12:04, 7 ноября 2009 (история) (разн.) Научная работа и научные руководители (→Спецсеминар «Планирование целенаправленной деятельности»)
- 12:39, 23 октября 2009 (история) (разн.) Научная работа и научные руководители (→Лаборатория вычислительных комплексов (ЛВК))
- 16:38, 22 октября 2009 (история) (разн.) Научная работа и научные руководители (→Лаборатория компьютерной графики и мультимедиа (ЛКГиММ))
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)