8 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 8 из 8 для поиска: '', время запроса: 0.16сек.
   Выбранные записи:
Значок книги
Исследование и разработка параллельных методов вывода на аналитических таблицах: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зо Мьо Хтет. - Москва, 2012. - 20 с., включая обложку
Автор Зо Мьо Хтет
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Модели и алгоритмы верификации топологии печатного монтажа: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Лузин Михаил Сергеевич. - Санкт-Петербург, 2005. - 17 с.
Автор Лузин, М. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Формальные модели и верификации свойств программ с использованием промежуточного представления: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.17 Теоретические основы информатики / Кривчиков Максим Александрович. - Москва, 2015. - 24 с.
Автор Кривчиков, М. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка моделей и алгоритмов верификации в САПР высокоразрядных СБИС спектрального анализа: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Башкиров Алексей Викторович. - Воронеж, 2006. - 17 с.
Автор Башкиров, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация автоматных программ / С. Э. Вельдер [и др.]. - Санкт-Петербург : Наука, Санкт-Петербургская издательская фирма, 2011. - 242 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Модели и алгоритмы верификации решений задач в системах электронного обучения: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.06 Автоматизция и управление технологическими процессами и производствами (образование) / Перченок Олег Владимирович. - Санкт-Петербург, 2013. - 18 с.
Автор Перченок, О. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматическая верификация и оптимизация потоков работ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Каленкова Анна Алексеевна. - Москва, 2011. - 16 с.
Автор Каленкова, А. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка методов анализа программных реализаций криптографических протоколов для обнаружения атак на основе формальной верификации и динамического анализа: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.3.6 Методы и системы защиты информации, информационная безопасность / Писарев Илья Александрович. - Таганрог, 2022. - 24 с., включая обложку
Автор Писарев, И. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

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

Опции поиска

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

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

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