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

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

Перейти к: навигация, поиск
Поиск вклада 
 

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

  • 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) (последняя)

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

Личные инструменты
Разделы