长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

期刊

全部

2012, no.1

2012, no.2

2012, no.3

2012, no.4

2012, no.5

2012, no.6

题名	作者	出版年	年卷期
ИСПОЛЬЗОВАНИЕ СВОЙСТВ МУТАЦИОННЫХ АВТОМАТОВ ДЛЯ МИНИМИЗАЦИИ ПРОВЕРЯЮЩИХ ТЕСТОВ	К. Эль-Факи; Н. Евтушенко; М. Дорофеева	2012	2012, no.4
АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ МОДЕЛЕЙ НОРМАЛЬНОГО ПОВЕДЕНИЯ	А. В. Сапожников	2012	2012, no.4
СТАТИЧЕСКАЯ ФОРМАЛЬНАЯ СЕМАНТИКА СТАНДАРТА ЕСМА-335	В. А. Васенин; М. А. Кривчиков	2012	2012, no.4
РЕШЕНИЕ ПРОБЛЕМЫ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ НА ОСНОВЕ ПОНЯТИЙ "ПРОСТРАНСТВО-ВРЕМЯ"	А. И. Илюшин; М. А. Оленин; С. А. Васильев	2012	2012, no.4
СИСТЕМЫ ДОСТУПА К ДАННЫМ, ОСНОВАННЫЕ НА ОНТОЛОГИЯХ	М. Р. Когаловский	2012	2012, no.4