+7 (499) 754-99-94
Журналов:     Статей:        
Главная Поиск
Дополнительные фильтры
Всего найдено3
Удалить
Удалить
Удалить
Добавить фильтр
14.12.2021
Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой
Виталий Адольфович СЕМЕНОВ; Семен Васильевич АРИШИН; Георгий Витальевич СЕМЕНОВ
Труды Института системного программирования РАН
01.01.1970
Библиотека ограничений для спецификации индустриальных моделей данных
Морозов, С. В.; Ильин, Д. В.; Семенов, В. А.; Тарлапан, О. А.
Труды Института системного программирования РАН
01.01.1970
Комбинированный метод верификации масштабных моделей данных
В. А. Семенов; С. В. Морозов; Д. В. Ильин
Труды Института системного программирования РАН

115114, Москва, ул. Летниковская, д. 4, стр. 5,
офис 2.4, тел.\факс: +7 (499) 754-99-93

Политика обработки персональных данных

© 2013 - 2025 Elpub