247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 161 - 180 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.32сек.
   Выбранные записи:
Значок книги
Труды по семантике / О.Н.Селиверстова. - Москва : Языки славянской культуры (А. Кошелев), 2004. - 959 с., [4] л. ил. - (Studia philologica)
Автор Селиверстова, О. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Этикетки и декларации экологические. Экологические декларации типа ІІІ. Принципы и процедуры: СТБ П ISO/DIS 14025-2005. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, печ. 2006. - V, 21 с., включая обложку. - (Предварительный государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Методическое пособие "Защита данных: верификация личности и биометрика" по курсу "Защита информации и санкционирование доступа" для студентов специальности Т.100200 "Программное обеспечение информационных технологий": На англ. яз. / Под яз. ред. Р.К.Образцовой. - Мн. : БГУИР, 1997. - 32 с.
Автор Демиденко, С. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Распознавание частотных спектров при проектировании ленточных устройств хранения данных: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 ; 05.12.13 / Григорьев Евгений Васильевич. - Ижевск, 2004. - 24 с.
Автор Григорьев, Е. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Этимология / Академия наук СССР, Институт русского языка. 1997―1999 : к семидесятилетию О. Н. Трубачева / ответственный редактор Ж. Ж. Варбот. — 2000. — 240 с., [1] л. портр.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Verifying non-proliferation & disarmament agreements today: panel discussion, United Nations, New York, 20 October 2005 / United Nations. Department for Disarmament Affairs. - New York : UN, 2006. - vii, 71 p. - (DDA occasional papers ; N 10)
Автор United Nations. Department for Disarmament Affairs.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы международных организаций
Добавить в Избранное
Сохранено в:
Значок книги
Быстрое тестирование: Пер. с англ. / Роберт Калбертсон, Крис Браун, Гэри Кобб. - М. и др. : Вильямс, 2002. - 383 с. - (Серия Института качества программного обеспечения)
Автор Калбертсон, Р.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Жемчужины программирования: Пер. с англ. / Джон Бентли. - СПб. : Питер, Питер бук, 2002. - 268 с. - (Библиотека программиста)
Автор Бентли, Д.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Концепция управления качеством жизненного цикла программных средств на основе международных стандартов / В.В.Липаев. - М. : Новые технологии, Машиностроение, 2002. - 24 с. - (Библиотечка журнала "Информационные технологии" ; N 12/ 2002)
Автор Липаев, В. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Информационные технологии. Форматы сертификатов и списков отозванных сертификатов инфраструктуры открытых ключей: СТБ П 34.101.19-2006. - Введен 01.07.06 ; срок действия до 01.07.08. - Минск : Госстандарт, Белорусский государственный институт стандартизации и сертификации, печ. 2006. - V, 89 с. - (Предварительный государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Абстрактное имя и интеллект: когнитивная модель как отражение индивидуального ментального опыта / И. А. Бубнова. - Минск : МГЛУ, 2004. - 238 с.
Автор Бубнова, И. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Верификация параметризованных моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Коннов Игорь Владимирович. - Москва, 2008. - 26 с.
Автор Коннов, И. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чупилко Михаил Михайлович. - Москва, 2012. - 24 с.
Автор Чупилко, М. М.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Человеческий капитал: теоретические основы и эмпирическая верификация / Г. Н. Соколова // Веснік Гродзенскага дзяржаўнага ўніверсітэта імя Янкі Купалы : навуковы часопіс. — 2011. ― № 1. ― С. 59―65
Автор Соколова, Г. Н. (1935—2018)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Объектно-функциональная верификация информационной безопасности распределенных автоматизированных информационных систем таможенных органов: автореферат диссертации на соискание ученой степени доктора технических наук: 05.13.19 / Скиба Владимир Юрьевич. - Санкт-Петербург, 2009. - 35 с.
Автор Скиба, В. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Сценарная верификация энергетического баланса в системах автоматизации проектирования зданий и комплексов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.12 Системы автоматизации проектирования (строительство) / Челышков Павел Дмитриевич. - Москва, 2012. - 22 с.
Автор Челышков, П. Д.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация теории экспертизы ценности документов / А. М. Белявский // Крыніцазнаўства і спецыяльныя гістарычныя дысцыпліны : навуковы зборнік / Беларускі дзяржаўны ўніверсітэт. — Мінск, 2002―. — 2012. ― Вып. 7. ― С. 170―180
Автор Белявский, А. М. (род. 1976)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Комплексный метод верификации и валидации информационно-измерительной и управляющей системы для активной зоны водо-водяных реакторов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.11.16 / Клинушкин Андрей Евгеньевич. - Москва, 2010. - 20 с.
Автор Калинушкин, А. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Численное исследование движения газовых и твердотельных объектов малого диаметра в вязкой несжимаемой жидкости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.02.05 Механика жидкости, газа и плазмы / Тарасова Наталья Владимировна. - Саров, 2021. - 18, [2] с., включая обложку
Автор Тарасова, Н. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Связанные расчеты макроячеек реактора на базе трехмерных нейтронно-физических и теплогидравлических кодов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.14.03 Ядерные энергетические установки, включая проектирование, эксплуатацию и вывод из эксплуатации / Колташев Дмитрий Александрович. - Москва, 2021. - 23 с., включая обложку
Автор Колташев, Д. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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