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

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

Поиск вклада

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

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

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

• 12:36, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:35, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:34, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
• 12:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:20, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
• 12:04, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 11:37, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 11:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 11:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 11:23, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
• 11:03, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:50, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:45, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:31, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 10:11, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
• 09:59, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (Новая: == Лекция 1 == '''Валидация''' - исследование и обоснование того, что спецификация ПО и само ПО через реали...)
• 11:14, 6 июня 2008 (история) (разн.) Численные Методы, задачи на лекциях‎ (→Задача 1) (последняя)

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