Results 31 to 40 of about 43 (40)

Формальные методы оценки лексико-семантических процессов одноименных терминов (на материале терминов логики и философии)

, 2014
Синелева Анастасия Васильевна
openalex  

Формальные методы при моделировании и идентификации организационных систем

, 2013
Ирина Александровна Гарькина, Alexander Danilov, О. В. Волкова   +2 more
openalex  

Формальные методы разработки вопросно-ответной системы на естественном языке

, 2014
Denis V. Derevianko, D. V. Derevyanko, Дмитрий Евгеньевич Пальчунов, D. E. Palchunov   +3 more
openalex  

Формальные методы поддержки реорганизации бизнес-процессов

, 2013
Калянов Георгий Николаевич
openalex  

Формальные методы определения авторства текстов

, 2012
Tatiana Batura, Tatiana Batura
openalex  

ФОРМАЛЬНЫЕ МЕТОДЫ РАЗРАБОТКИ И ВЕРИФИКАЦИИ ПРОГРАММ. ГОРИЗОНТ 2030

А.К. ПЕТРЕНКО, А.К. ПЕТРЕНКО, МГУ   +2 more
openalex   +1 more source

Введение в формальные методы верификации программ: учебное пособие

, 2018
Камкин Александр Сергеевич
openalex  

Формальные методы стратегического планирования развития железнодорожного транспорта

, 2012
А Н Мардас, О. А. Гуляева, Н К Румянцев   +2 more
openalex  

Формальные методы установления авторства текстов и их реализация в программных продуктах

, 2013
Т В Батура
openalex  

Формальные методы описания учебного процесса

, 2003
В. И. Саенко
openalex