Вклад участника

Материал из eSyr's wiki.

Поиск вклада

 Показать только вклад, сделанный с новых учётных записей
 IP-адрес или имя участника: Пространство имён: все (Основное) Обсуждение Участник Обсуждение участника eSyr's wiki Обсуждение eSyr's wiki Изображение Обсуждение изображения MediaWiki Обсуждение MediaWiki Шаблон Обсуждение шаблона Справка Обсуждение справки Категория Обсуждение категории

За месяц (и ранее): За год (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)

• 18:01, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎
• 18:00, 27 мая 2009 (история) (разн.) Шаблон:Курс МОТП‎
• 17:58, 27 мая 2009 (история) (разн.) МОТП, Задачи на экзамене‎
• 17:57, 27 мая 2009 (история) (разн.) Шаблон:Курс МОТП‎
• 17:49, 27 мая 2009 (история) (разн.) Шаблон:Курс МОТП‎ (Новая: [МОТП])
• 17:45, 27 мая 2009 (история) (разн.) МОТП, Задачи на экзамене‎ (Gjghfdbk jgtxfnrb)
• 14:21, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задачи оптимизации АВО. Совместные подсистемы систем неравенств.)
• 14:20, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задачи оптимизации АВО. Совместные подсистемы систем неравенств.)
• 11:24, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
• 10:27, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
• 10:11, 22 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 10:08, 22 мая 2009 (история) (разн.) м ВПнМ/Теормин‎
• 10:05, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (Асинхронная передача сообщений и оценка значения канала)
• 09:15, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (Исправил a на \alpha)
• 09:12, 22 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (Добавлена ссылка на пример)
• 09:03, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование графов программ. Случаи без разделяемых переменных и с разделяемыми переменными.)
• 08:50, 22 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование графов программ. Случаи без разделяемых переменных и с разделяемыми переменными.)

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)