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

EasyCookieInfo

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

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

© 2013 - 2025 Elpub