Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2008 |
| Автори: | Глибовец, Н.Н., Гломозда, Д.К. |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/44193 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы / Н.Н. Глибовец, Д.К. Гломозда // Кибернетика и системный анализ. — 2008. — № 4. — С. 15-19. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Сложность реоптимизации задачи вычисления хроматического числа графа с заданным множеством оптимальных решений
за авторством: Михайлюк, В.А.
Опубліковано: (2016) -
Вероятностная модель взаимодействия агента с сетевой средой
за авторством: Скобелев, В.Г.
Опубліковано: (2015) -
Классификация дисциплин программной инженерии
за авторством: Лаврищева, Е.М.
Опубліковано: (2008) -
Алгоритм формальной верификации шаблонов бизнес-процессов
за авторством: Варосян, А.С.
Опубліковано: (2011) -
Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей
за авторством: Донской, В.И.
Опубліковано: (2012)