Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : Ар12-787
Автор(ы) : Динцис Д.Ю.
Заглавие : Теоретические основы и прикладная реализация синтеза информационных систем управления технологическими и информационными комплексами на основе аппарата нечеткой логики : автореф. дис. ... д-ра техн. наук : 05.13.01
Выходные данные : Краснодар, 2011
Колич.характеристики :48 с.: ил
Примечания : Библиогр.: с. 45-48 (31 назв.)
ГРНТИ : 50.49 + 50.47
УДК : 005.5:004(043) + 658.52:004(043)
Ключевые слова (''Своб.индексиров.''): автоматизированные управляющие системы--технологические процессы--информационные процессы--синтез--формальные модели
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : Ар11-7130
Автор(ы) : Кузьмин Е.В.
Заглавие : Алгоритмические свойства формальных моделей параллельных и распределенных систем : автореф. дис. ... д-ра физ.-мат. наук : 05.13.17
Выходные данные : Ярославль, 2011
Колич.характеристики :43 с.: ил
Примечания : Библиогр.: с. 38-43 (42 назв.)
ГРНТИ : 50.05.13
УДК : 004.415.5(043)
Ключевые слова (''Своб.индексиров.''): параллельные вычисления--вычислительные системы распределенные--формальные модели--верификация
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие

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

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

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