Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные модели<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Ар11-7130

Кузьмин, Е. В.
Алгоритмические свойства формальных моделей параллельных и распределенных систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17 / Е. В. Кузьмин. - Ярославль, 2011. - 43 с. : ил. - Библиогр.: с. 38-43 (42 назв.)

ГРНТИ	50.05.13
УДК	004.415.5(043)

Кл.слова (ненормированные):
параллельные вычисления -- вычислительные системы распределенные -- формальные модели -- верификация

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Ар12-787

Динцис, Д. Ю.
Теоретические основы и прикладная реализация синтеза информационных систем управления технологическими и информационными комплексами на основе аппарата нечеткой логики [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.01 / Д. Ю. Динцис. - Краснодар, 2011. - 48 с. : ил. - Библиогр.: с. 45-48 (31 назв.)

ГРНТИ	50.49	50.47
УДК	005.5:004(043)	658.52:004(043)

Кл.слова (ненормированные):
автоматизированные управляющие системы -- технологические процессы -- информационные процессы -- синтез -- формальные модели

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)