247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 201 - 220 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.32сек.
   Выбранные записи:
Значок книги
Моделирование процессов синтеза и регуляции структурно-изомерной основы биомедицинских сополимеров ряда ДИВЭМА: автореферат диссертации на соискание ученой степени кандидата химических наук: специальность 02.00.06 Высокомолекулярные соединения / Больщиков Борис Дмитриевич. - Москва, 2020. - 24 с.
Автор Больщиков, Б. Д.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование последствий аварийного загрязнения поверхностных водных объектов на основе метода Монте-Карло: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 25.00.36 / Козлинских Алексей Егорович. - Екатеринбург, 2002. - 25 с.
Автор Козлинских, А. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Влияние поверхностных длительно стоящих вод на температурный режим грунтов земляного полотна и многолетнемерзлого основания: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.1.2 Основания и фундаменты, подземные сооружения / Макаров Алексей Сергеевич. - Тюмень, 2022. - 23 с., включая обложку
Автор Макаров, А. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическая методика и программа KORAT-3D решения трехмерных задач диффузии нейтронов в групповом приближении на многопроцессорных ЭВМ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Звенигородская Оксана Анатольевна. - Саратов, 2002. - 22 с.
Автор Звенигородская, О. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации (технические системы) / Гаращенко Антон Витальевич. - Москва, 2021. - 24 с.
Автор Гаращенко, А. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Распознавание субъектов и их психофизиологических состояний на основе параметров подписи для защиты документооборота: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Самотуга Александр Евгеньевич. - Омск, 2017. - 18 с.
Автор Самотуга, А. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Совершенствование способов повышения качества медицинского конусно-лучевого томографа: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.04.01 Приборы и методы экспериментальной физики / Лобжанидзе Тенгиз Константинович. - Москва, 2021. - 38 с.
Автор Лобжанидзе, Т. К.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Информационные технологии и безопасность. Форматы сертификатов и списков отозванных сертификатов инфраструктуры открытых ключей: СТБ 34.101.19-2012: (RFC 5280:2008, NEQ): [перевод с английского]. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, печ. 2012. - IV, 88 с., включая обложку. - (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Значок книги
Информационные технологии и безопасность. Форматы сертификатов и списков отозванных сертификатов инфраструктуры открытых ключей: СТБ 34.101.19-2009. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, печ. 2009. - IV, 88 c. - (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Значок книги
Синтез речеподобных помех для защиты информации от утечки по акустическим каналам: диссертация на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Зельманский Олег Борисович. - Минск, 2012. - 182, [3] л.
Автор Зельманский, О. Б.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Синтез речеподобных помех для защиты информации от утечки по акустическим каналам: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Зельманский Олег Борисович. - Минск, 2012. - 25 с.
Автор Зельманский, О. Б.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Системы менеджмента. Менеджмент верификации и валидации в цепи поставок: СТБ 2484-2016. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, 2018. - VI, 136 с. - (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Значок книги
Псевдоним (вымышленное имя) как средство индивидуализации личности в публично-правовых и частно-правовых отношениях: теоретико-прикладные проблемы правового регулирования / В. В. Паращенко, Я. С. Нестерович // Вестник Академии МВД Республики Беларусь : научно-теоретический журнал / учредитель учреждение образования "Академия Министерства внутренних дел Республики Беларусь". — 2024. ― № 2. ― С. 77―83
Автор Паращенко, В. В. (род. 1970)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Совместное использование MSC и SDL моделей при разработке событийно-ориентированных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Соколов Владимир Владимирович. - Санкт-Петербург, 2007. - 16 с.
Автор Соколов, В. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Тестирование, верификация и аттестация программного обеспечения: методические рекомендации: [для студентов 2-й ступени дневной и заочной форм обучения по дисциплине "Верификация и аттестация программного обеспечения " специальностей "Информатика и технологии программирования" и "Управление информационными ресурсами"] / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра информатики и информационных технологий. - Витебск : ВГУ, 2020. - 30 с.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Верификация и аттестация программного обеспечения: учебно-методическое пособие для студентов специальностей 1-40 05 01 "Информационные системы и технологии (по направлениям)" и 1-40 80 04 "Информатика и технологии программирования" дневной и заочной форм обучения / И. А. Мурашко, В. В. Комраков. - Гомель : ГГТУ, 2021. - 191 с.
Автор Мурашко, И. А. (род. 1964)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Метод выявления недекларированных возможностей программ с использованием структурированных метрик сложности: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Диасамидзе Светлана Владимировна. - Санкт-Петербург, 2012. - 16 с.
Автор Диасамидзе, С. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Инженерия программного обеспечения: Пер. с англ. / Иан Соммервилл. - 6-е изд. - М. и др. : Вильямс, 2002. - 623 с.
Автор Соммервилл, И.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 ; 05.13.11 / Саранцев Павел Вадимович. - Москва, 2004. - 26 с.
Автор Саранцев, П. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Языки VHDL и VERILOG в проектировании цифровой аппаратуры / А.К.Поляков. - М. : Солон-пресс, 2003. - 313 с. - (Серия "Системы проектирования")
Автор Поляков, А. К.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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