27 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 27 для поиска: '', время запроса: 0.36сек.
   Выбранные записи:
Значок книги
Модели и алгоритмы организации мобильных параллельных вычислений в среде многоядерных процессоров: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Бакулев Александр Валериевич. - Рязань, 2011. - 17 с.
Автор Бакулев, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методология проектирования аналитических программных систем для организации их функционального взаимодействия на основе формальных моделей предметной области: автореферат диссертации на соискание ученой степени доктора технических наук: специальность 05.13.11 Системный анализ, управление и обработка информации / Антонов Вячеслав Викторович. - Уфа, 2015. - 34 с.
Автор Антонов, В. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка формальных моделей рассуждающих сетей для анализа параллельных событийных процессов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.17 / Анисимов Михаил Михайлович. - Москва, 2009. - 29 с.
Автор Анисимов, М. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмические свойства формальных моделей параллельных и распределенных систем: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 05.13.17 / Кузьмин Егор Владимирович. - Ярославль, 2010. - 44 с.
Автор Кузьмин, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмические свойства формальных моделей параллельных и распределенных систем: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 05.13.17 / Кузьмин Егор Владимирович. - Ярославль, 2010. - 43 с.
Автор Кузьмин, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Интеллектуальная технология недоопределенного календарно-ресурсного планирования и управления проектами Time-EX / А. С. Нариньяни [и др.]. - Москва : Новые технологии, 2010. - 32 с. - (Библиотечка журнала "Информационные технологиии" ; № 2/2010)
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Юсупов Юрий Вадимович. - Санкт-Петербург, 2009. - 18 с.
Автор Юсупов, Ю. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Трассирующая нормализация: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Березун Даниил Андреевич. - Санкт-Петербург, 2017. - 15 с.
Автор Березун, Д. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Поддержка принятия решений при управлении вспомогательными и перевозочными процессами строительства: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.10 Управление в социальных экономических системах / Магомадов Руслан Сайдалиевич. - Волгоград, 2018. - 20 с.
Автор Магомадов, Р. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование нейроподобных сетей, работающих со средним значением стохастического потока: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.17 Теоретические основы информатики / Лукьянов Александр Владимирович. - Ярославль, 2000. - 16 с.
Автор Лукьянов, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Эквивалентность ресурсов в сетях Петри / В. А. Башкин, И. А. Ломазова. - Москва : Научный мир, 2008. - 206 с.
Автор Башкин, В. А.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
О классах категориальных грамматик зависимостей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Карлов Борис Николаевич. - Ярославль, 2012. - 18 с.
Автор Карлов, Б. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Формализация процессов обработки и интеллектуального анализа информации от разнородных источников в системах распределенного мониторинга: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации / Бекенева Яна Андреевна. - Санкт-Петербург, 2019. - 18 с.
Автор Бекенева, Я. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование и разработка информационной системы формализации и актуализации прав доступа: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.25.05 Информационные системы и процессы / Родионова Зинаида Валерьевна. - Новосибирск, 2011. - 21 с.
Автор Родионова, З. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование качества процессов принятия решений на основе оперативной информации: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.17 Теоретические основы информатики / Данилова Ольга Сергеевна. - Нижний Новгород, 2000. - 18 с.
Автор Данилова, О. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Адаптация лингвистического обеспечения к естественному языку пользователя: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.01 / Пастухов Александр Юрьевич. - Волгоград, 2001. - 16 с.
Автор Пастухов, А. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Формальные модели защищенности информационных технологий на основе общих критериев: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.19 / Суханов Андрей Вячеславович. - Санкт-Петербург, 2006. - 24 с.
Автор Суханов, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Модели оценки рисков несанкционированного доступа и утечки информации на основе модели Take-Grant: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Бардычев Василий Юрьевич. - Санкт-Петербург, 2012. - 18 с.
Автор Бардычев, В. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизированное проектирование систем логического управления обогащением золотоносных пород: (алгоритмический этап): автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.12 Системы автоматизации проектирования (промышленность) / Свертилова Наталья Викторовна. - Москва, 2002. - 17, [1] с.
Автор Свертилова, Н. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Статистический анализ программ для проверки настраиваемых ограничений языков программирования C и C++: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Игнатьев Валерий Николаевич. - Москва, 2015. - 24 с.
Автор Игнатьев, В. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • Следующий »
  • [2]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
25 Авторефераты диссертаций 2 Книги см. все ...
Автор/Создатель
2 Кузьмин, Е. В. 1 Андронов, А. В. 1 Анисимов, М. М. 1 Антонов, В. В. 1 Бакулев, А. В. 1 Бардычев, В. Ю. больше ... 1 Башкин, В. А. 1 Бекенева, Я. А. 1 Бендума Тахар 1 Березун, Д. А. 1 Данилова, О. С. 1 Игнатьев, В. Н. 1 Карлов, Б. Н. 1 Ломазова, И. А. (род. 1955) 1 Лукьянов, А. В. 1 Магомадов, Р. С. 1 Маркин, М. И. 1 Никольский, А. В. 1 Пастухов, А. Ю. 1 Родионова, З. В. 1 Свертилова, Н. В. 1 Суханов, А. В. 1 Ульянова, А. И. 1 Харечкин, П. В. 1 Юсупов, Ю. В. см. все ... меньше ...
Предмет
ФОРМАЛЬНЫЕ МОДЕЛИ 5 РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ 4 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ 3 ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ 2 АЛГОРИТМИЧЕСКИЕ МЕТОДЫ 2 АТАКИ (вычисл. техника) больше ... 2 ЗАЩИТА ИНФОРМАЦИИ 2 ИНФОРМАЦИОННЫЕ СИСТЕМЫ 2 НЕЙРОННЫЕ СЕТИ 2 НЕСАНКЦИОНИРОВАННЫЙ ДОСТУП К ДАННЫМ 2 ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ПРОЦЕССЫ 2 ПЕТРИ СЕТИ 2 ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ 2 ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА 2 УГРОЗЫ БЕЗОПАСНОСТИ 1 C (язык программирования) 1 C++ (язык программирования) 1 TAKE-GRANT МОДЕЛЬ 1 TIME-EX-СИСТЕМА 1 UML (язык программирования) 1 ІНФАРМАЦЫЙНАЯ БЯСПЕКА 1 АБСТРАКТНЫЕ ТИПЫ ДАННЫХ 1 АВТОМАТИЗАЦИЯ 1 АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ 1 АВТОМАТИЗИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ 1 АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ 1 АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ 1 АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ 1 АЛГОРИТМЫ ОБРАБОТКИ ИНФОРМАЦИИ 1 АНАЛИЗАТОРЫ см. все ... меньше ...
Серия
1 Библиотечка журнала "Информационные технологиии" см. все ...
Место публикации
7 Москва 7 Санкт-Петербург 4 Ярославль 2 Волгоград 1 Казань 1 М. больше ... 1 Нижний Новгород 1 Новосибирск 1 Рязань 1 Таганрог 1 Уфа см. все ... меньше ...
Язык
27 Русский 1 Арабский см. все ...
Дата издания

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...