Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формальные модели<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Циммерлинг А. В. [Рецензия]/А. В. Циммерлинг // Вопросы языкознания, 2016,N № 4.-С.144-151
2.

Бурцева Т. А. Имитационные системы принятия маркетинговых решений/Т. А. Бурцева, В. В. Вохминцев, Н. Н. Катаева // Маркетинг, 2006,N N 5.-С.34-40
3.

Горбунов А. А. Концептуальные аспекты автоматизированного синтеза проектных и конструкторских параметров магистрального воздушного судна/А. А. Горбунов // Качество. Инновации. Образование, 2018,N № 1.-С.42-50
4.

Модельный эксперимент и формирование компетенций бакалавров/Н. Н. Матвеев [и др.] // Вестник Воронежского государственного университета. Сер.: Проблемы высшего образования, 2019,N № 4.-С.53-56
5.

Проектирование бизнес-процессов в рамках автоматного подхода к BPR/Ю. М. Сметанин [и др. ] // Менеджмент: теория и практика, 2008,N N 3/4.-С.211-220
6.

Зегжда Д. П. Формальная модель безопасности гипервизиров виртуальных машин в системах облачных вычислений/Д. П. Зегжда, А. В. Никольский // Проблемы информационной безопасности. Компьютерные системы, 2013,N № 1.-С.7-19
7.

Никольский А. В. Формальная модель для кибератак на средства виртуализации и мера уязвимости гипервизоров/А. В. Никольский // Проблемы информационной безопасности. Компьютерные системы, 2013,N № 3.-С.40-48
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)