247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 61 - 80 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.18сек.
   Выбранные записи:
Значок книги
Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Новиков Дмитрий Яковлевич. - Минск, 2011. - 22 с.
Автор Новиков, Д. Я. (род. 1983)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности: диссертация на соискание ученой степени кандидата технических наук: 05.13.12: защищена 15.03.11: утверждена 11.05.11 / Новиков Дмитрий Яковлевич. - Минск, 2010. - 161, [5] л.
Автор Новиков, Д. Я. (род. 1983)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Метод поддержки принятия решения о безопасности программного обеспечения: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Беляков Игорь Александрович. - Санкт-Петербург, 2013. - 16 с.
Автор Беляков, И. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация правил фильтрации межсетевых экранов на основе применения метода "проверки на модели": автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Полубелова Ольга Витальевна. - Санкт-Петербург, 2013. - 20 с.
Автор Полубелова, О. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Представление озер в моделях погоды и климата: внешние параметры, объективный анализ температуры поверхности воды и верификация: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 25.00.30 Метеорология, климатология, агрометеорология / Шульга Маргарита. - Санкт-Петербург, 2016. - 22 с.
Автор Шульга, М.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод доминантного параметра в моделировании и анализе динамики биологических осцилляторов: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 03.01.02 Биофизика / Лаврова Анастасия Игоревна. - Санкт-Петербург, 2018. - 31 с.
Автор Лаврова, А. И.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация тестовых заданий для контроля уровня знаний студентов в вузе: автореферат диссертации на соискание ученой степени кандидата педагогических наук: 13.00.08 / Метельская Татьяна Анатольевна. - Москва, 2007. - 23 с.
Автор Метельская, Т. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методология формирования и верификации налогооблагаемых показателей: автореферат диссертации на соискание ученой степени доктора экономических наук: 08.00.10 / Поздняев Андрей Сергеевич. - Орел, 2010. - 48 с.
Автор Поздняев, А. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методические основы оптимизации профиля юбки поршня ДВС с целью снижения механических потерь: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.04.02 Тепловые двигатели / Якунин Руслан Владимирович. - Москва, 2019. - 16 с.
Автор Якунин, Р. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Задачи достижения и синтеза управлений для гибридных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.02 / Точилин Павел Александрович. - Москва, 2008. - 17 с.
Автор Точилин, П. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Всережимная верификация средств моделирования электроэнергетических систем: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.14.02 Электрические станции и электроэнергетические системы / Суворов Алексей Александрович. - Томск, 2018. - 22 с.
Автор Суворов, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод и алгоритмы автоматической текстонезависимой верификации дикторов и их программная реализация: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 / Симончик Константин Константинович. - Санкт-Петербург, 2010. - 15 с.
Автор Симончик, К. К.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Интегральная модель тепломассопереноса при парогравитационном дренаже: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 1.3.14 Теплофизика и теоретическая теплотехника / Гильманов Александр Янович. - Тюмень, 2021. - 24 с.
Автор Гильманов, А. Я.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Викторов Юрий Олегович. - Санкт-Петербург, 2013. - 20 с.
Автор Викторов, Ю. О.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Искусство и метод в моделировании систем: вариационные методы в экологии сообществ, структурные и экстремальные принципы, категории и функторы / А. П. Левич. - Москва : Ижевск : Институт компьютерных исследований, 2012. - 728 с.
Автор Левич, А. П. (1945—2016)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Методы измерения характеристик запаздывающих нейтронов и верификации ядерно-физических данных: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.04.01 Приборы и методы экспериментальной физики / Гремячкин Дмитрий Евгеньевич. - Дубна, 2022. - 29 с.
Автор Гремячкин, Д. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методика автоматизированного анализа производительности подсистем коммутации проектируемых СиК на основе графовых моделей целевых приложений: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.3.7 Компьютерное моделирование и автоматизация проектирования / Жезлов Кирилл Александрович. - Москва, 2023. - 26 с.
Автор Жезлов, К. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка метода проектирования многоагентных имитационных моделей на основе формализма машин абстрактных состояний: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 / Набиуллин Олег Ривхатович. - Москва, 2010. - 20 с.
Автор Набиуллин, О. Р.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Институт аутентификации и верификации в цивилистическом процессе: автореферат диссертации на соискание ученой степени кандидата юридических наук: специальность 5.1.3 Частно-правовые (цивилистические) науки / Маколкина Никита Николаевич. - Казань, 2023. - 23 с., включая обложку
Автор Маколкин, Н. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование и разработка программных средств распознавания образов для решения задачи трехмерного моделирования в микроскопии: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Гаганов Виктор Александрович. - Москва, 2011. - 23 с.
Автор Гаганов, В. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • Следующий »
  • [13]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
164 Авторефераты диссертаций 49 Книги 16 Статьи 8 Диссертации 7 Документы по стандартизации 1 Документы международных организаций больше ... 1 Периодические издания 1 Продолжающиеся издания см. все ... меньше ...
Автор/Создатель
4 Корсак, А. И. 3 Янь Цзинбинь (род. 1972) 2 Ахунджанов, У. Ю. 2 Зельманский, О. Б. 2 Ильев, И. Г. (род. 1969) 2 Королев, И. А. больше ... 2 Кузьмин, Е. В. 2 Липаев, В. В. 2 Новиков, Д. Я. (род. 1983) 2 Ракуш, В. В. (род. 1973) 2 Сивко, Б. В. 2 Синицын, С. В. 2 Титович, Е. В. 2 Чистяков, Г. А. 1 Michońska-Stadnik, Anna 1 United Nations. Department for Disarmament Affairs. 1 Абдалла Али Ахмед Абдельрахман 1 Абрамова, Н. А. 1 Аглетдинов, Э. А. 1 Алейникова, К. О. 1 Алтухов, Ю. А. 1 Андрианов, П. С. 1 Баша, Н. С. 1 Безруков, Ю. А. 1 Белявский, А. М. (род. 1976) 1 Беляков, И. А. 1 Бентли, Д. 1 Бибило, П. Н. (род. 1953) 1 Болотова, С. Ю. 1 Больщиков, Б. Д. см. все ... меньше ...
Предмет
235 ВЕРИФИКАЦИЯ 53 ВЕРЫФІКАЦЫЯ 33 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 26 Беларусь, Республика 17 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 12 АЛГОРИТМЫ (мат., информатика) больше ... 12 ПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ 12 ТЕСТИРОВАНИЕ ПРОГРАММ 11 АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ 10 ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ 10 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 9 ЗАЩИТА ИНФОРМАЦИИ 9 ПРОГРАММИРОВАНИЕ 9 ПРОГРАММНЫЕ КОМПЛЕКСЫ 8 РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 8 РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ 7 ПРАГРАМАВАННЕ 6 АУТЕНТИФИКАЦИЯ 6 ВАЛИДАЦИЯ 6 ИНТЕРНЕТ 6 ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ 6 КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ 6 ОБРАБОТКА СИГНАЛОВ 6 ПЭВМ 6 РАСЧЕТА МЕТОДЫ 6 РЕЧЕВЫЕ СИГНАЛЫ 6 САПР 5 LINUX (операционная система) 5 АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ 5 БИОМЕТРИЧЕСКИЕ ТЕХНОЛОГИИ см. все ... меньше ...
Жанр
7 ГОСУДАРСТВЕННЫЙ СТАНДАРТ РЕСПУБЛИКИ БЕЛАРУСЬ 4 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 3 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 2 МІЖНАРОДНЫ СТАНДАРТ 2 МАТЕРИАЛЫ КОНФЕРЕНЦИИ, СЪЕЗДА, СИМПОЗИУМА 2 МЕЖДУНАРОДНЫЙ СТАНДАРТ больше ... 1 БЕСЕДА 1 ЛАБОРАТОРНАЯ РАБОТА 1 МЕЖГОСУДАРСТВЕННЫЙ СТАНДАРТ 1 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 1 ПРАКТИКУМ ДЛЯ ВУЗОВ 1 ПРЕДВАРИТЕЛЬНЫЙ СТАНДАРТ 1 ТЕЗИСЫ ДОКЛАДОВ 1 УЧЕБНОЕ ПОСОБИЕ ДЛЯ УЧРЕЖДЕНИЙ ПОВЫШЕНИЯ КВАЛИФИКАЦИИ И ПЕРЕПОДГОТОВКИ КАДРОВ см. все ... меньше ...
Серия
9 Государственный стандарт Республики Беларусь 3 Препринт 2 Предварительный государственный стандарт Республики Беларусь 1 Acta Universitatis Wratislaviensis 1 DDA occasional papers 1 Disarmament forum больше ... 1 Studia philologica 1 Szlachta polska 1 Библиотека программиста 1 Библиотечка журнала "Информационные технологии" 1 Высшее профессиональное образование 1 Основы информационных технологий 1 Серия "Информационные технологии" 1 Серия "Системы проектирования" 1 Серия 06.75.13, Управление, планирование, программирование и прогнозирование отраслей народного хозяйства 1 Серия Института качества программного обеспечения 1 Серия КА "Кунсткамера ― Архив" 1 Серия книг по объектным технологиям см. все ... меньше ...
Место публикации
72 Москва 32 Санкт-Петербург 30 Минск 9 Новосибирск 7 М. 6 Томск больше ... 5 М. и др 4 Воронеж 4 Казань 3 Гомель 3 Київ 3 Мн 3 Тюмень 3 Ярославль 2 Волгоград 2 Дубна 2 Ижевск 2 Краснодар 2 Омск 2 Пенза 2 СПб 2 Самара 2 Челябинск 1 Geneva 1 New York 1 Warszawa 1 Wrocław 1 Белгород 1 Витебск 1 Владимир см. все ... меньше ...
Язык
241 Русский 27 Английский 6 Белорусский 3 Украинский 2 Французский 2 Польский больше ... 1 Немецкий 1 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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