247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 141 - 160 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.33сек.
   Выбранные записи:
Значок книги
Методы машинного обучения для динамической биометрической верификации операторов беспилотных летательных аппаратов: автореферат диссертации на соискание ученой степени доктора технических наук: специальность 05.13.17 Теоретические основы информатики / Трокоз Дмитрий Анатольевич. - Пенза, 2021. - 29, [1] с.
Автор Трокоз, Д. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод и алгоритмы анализа данных электроэнцефалографии для верификации субъекта: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.3.8 Информатика и информационные процессы / Светлаков Михаил Олегович. - Томск, 2023. - 23, [1] с., включая обложку
Автор Светлаков, М. О. (род. 1995)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование движения транспортных потоков: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 1.2.2 Математическое моделирование, численные методы и комплексы программ / Погребняк Максим Анатольевич. - Ярославль, 2024. - 19 с.
Автор Погребняк, М. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация методологии контроля и прогноза свойств материалов корпусов реакторов ВВЭР-440 при продлении срока службы: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.4.9 Ядерные энергетические установки, топливный цикл, радиационная безопасность / Медведев Кирилл Игоревич. - Москва, 2025. - 28 с.
Автор Медведев, К. И.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация информации в журналистике: автореферат диссертации на соискание ученой степени кандидата филологических наук: специальность 10.01.10 Журналистика / Королев Игорь Александрович. - Минск, 2023. - 24 с.
Автор Королев, И. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация информации в журналистике: диссертация на соискание ученой степени кандидата филологических наук: специальность 10.01.10 Журналистика / Королев Игорь Александрович. - Минск, 2023. - 271 л.
Автор Королев, И. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Szlachta wylegitymowana w Krolestwie Polskim w latach 1836-1861 / Oprac.: Elzbieta Seczys. - Warszawa : DiG, 2000. - (Szlachta polska ; T. 1)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Общие принципы и требования к органам по валидации и верификации экологической информации: ГОСТ Р ИСО 14065―2022 (ISO 14065:2020, IDT). - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, 2022. - IV, 27 с., включая обложку. - (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Значок книги
Разработка средств верификации сложных цифровых микросхем с учетом радиационного воздействия в САПР: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Конарев Михаил Викторович. - Воронеж, 2010. - 16 с.
Автор Конарев, М. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
О скипетрах, о лошадях, о войне: этюды в защиту миграционной концепции М. Гимбутас / В. А. Дергачев. - Санкт-Петербург : Нестор-История, 2007. - 486, [1] с.
Автор Дергачев, В. А. (1943— )
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Текстозависимая верификация диктора: модель, статистические исследования, комплекс программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Ручай Алексей Николаевич. - Челябинск, 2012. - 22 с.
Автор Ручай, А. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации / Ермаков Антон Дмитриевич. - Томск, 2017. - 20 с.
Автор Ермаков, А. Д.
Предмет: '; “...ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация программного обеспечения: учебное пособие / С. В. Синицын, Н. Ю. Налютин. - Москва : Интернет-университет информационных технологий, Бином. Лаборатория знаний, печ. 2007 (макет 2014). - 367 с. - (Основы информационных технологий)
Автор Синицын, С. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Новиков Евгений Михайлович. - Москва, 2013. - 23 с.
Автор Новиков, Е. М.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Избранные вопросы диагностики и лечения опухолей и опухолеподобных заболеваний щитовидной железы: (монография) / Фридман М. В., Демидчик Ю. Е. - Минск : БелМАПО, 2010. - 125 с.
Автор Фридман, М. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Верификация закупленной продукции. Организация проведения и методы контроля: ГОСТ 24297-2013. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, 2018. - III, 11 с., включая обложку. - (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Значок книги
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / В.Е.Козюра. - Новосибирск, 2004. - 18 с.
Автор Козюра, В. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Худов Ким Андреевич. - Москва, 2006. - 20 с.
Автор Худов, К. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Унифицированный процесс. Основные концепции: Пер. с англ. / Кендалл Скотт. - М. и др. : Вильямс, 2002. - 159 с.
Автор Скотт, К.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Символьная верификация непрерывно-дискретных систем: Алгоритм обобщенного таймер-преобразования: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 05.13.18 / С.-Петерб. гос. техн. ун-т. - СПб., 2000. - 16 с.
Автор Парийская, Е. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • Следующий »
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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