247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 181 - 200 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.40сек.
   Выбранные записи:
Значок книги
Model checking: верификация параллельных и распределенных программных систем: [для студентов вузов, программистов и исследователей в области информатики] / Ю. Г. Карпов. - Санкт-Петербург : БХВ-Петербург, 2010. - VII, 551 с.
Автор Карпов, Ю. Г.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Верифицируемые системы виртуального моделирования беспилотных транспортных средств: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации / Егорчев Антон Александрович. - Казань, 2021. - 25 с.
Автор Егорчев, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Актуализация региональных почвенных карт на основе спутниковых и геоинформационных технологий: (на примере Московской области): автореферат диссертации на соискание ученой степени кандидата сельскохозяйственных наук: специальность 03.02.13 Почвоведение / Жоголев Арсений Вадимович. - Москва, 2016. - 22 с.
Автор Жоголев, А. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка и исследование метода релевантного обратного вывода: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.17 Теоретические основы информатики / Болотова Светлана Юрьевна. - Москва, 2014. - 16 с.
Автор Болотова, С. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Временная верификация и оптимизация размещения компонентов предельных по быстродействию ЭВМ: Автореф. дис. на соиск. учен. степ. д-ра техн. наук: 05.13.12 / Ирбенек Валентин Сергеевич. - М., 2001. - 41 с.
Автор Ирбенек, В. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка "внешней" компактной модели органического полевого транзистора с учетом дифференциальной проводимости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 1.3.8 Физика конденсированного состояния / Рахматов Бадурдин Амируллоевич. - Душанбе, 2021. - 24 с.
Автор Рахматов, Б. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод верификации и анализа защищенности баз данных на основе формализации требований целостности: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.19 / Глухарев Михаил Леонидович. - Санкт-Петербург, 2011. - 16 с.
Автор Глухарев, М. Л.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Гидродинамическое моделирование атмосферных процессов над территорией со сложной орографией: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 25.00.30 Метеорология, климатология, агрометеорология / Исаев Эркин Кубанычевич. - Санкт-Петербург, 2017. - 25 с.
Автор Исаев, Э. К.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Проектирование программных моделей сетевых протоколов для встроенных систем: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Оленев Валентин Леонидович. - Санкт-Петербург, 2011. - 25, [1] с.
Автор Оленев, В. Л.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизация проектирования дискретных систем. Т. 2. — 302 с.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Динамическая адаптация подвижной неструктурированной сетки для моделирования течений газа вблизи движущихся тел произвольной конфигурации: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 1.2.2 Математическое моделирование, численные методы и комплексы программ / Цветкова Валерия Олеговна. - Москва, 2023. - 26 с.
Автор Цветкова, В. О.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка комплекса автоматизации верификации человеко-машинного интерфейса системы электронной индикации гражданских самолетов в части текстовой информации: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 1.2.2 Математическое моделирование, численные методы и комплексы программ / Дяченко Сергей Александрович. - Москва, 2023. - 21 с.
Автор Дяченко, С. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Arms control verification / editor in chief: Kerstin Vignard. — Geneva : United Nations Institute for Disarmament Research, 2010. — [4], 76, 86 с., сустр. паг. — (Disarmament forum ; 2010, 3)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Периодические издания
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Основные подходы к верификации энергоэффективности / А. Ф. Молочко // Энергоэффективность : ежемесячный научно-практический журнал / учредители: Департамент по энергоэффективности Государственного комитета по стандартизации Республики Беларусь, Инвестиционно-консультационное республиканское унитарное предприятие "Белинвестэнергосбережение". — 2023. ― № 12. ― С. 12―15
Автор Молочко, А. Ф.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Информационные технологии. Технологии автоматической идентификации и сбора данных. Спецификация соответствия верификатора символов штрихового код. Ч. 1 : Верификатор линейных символов : ГОСТ ISO/IEC 15426-1—2021 (ISO/IEC 15426-1:2006, IDT). — 2021. — V, 9 с. — (Государственный стандарт Республики Беларусь)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Документы по стандартизации
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Информационные технологии. Технологии автоматической идентификации и сбора данных. Спецификация соответствия верификатора символов штрихового кода. Ч. 2 : Верификатор двумерных символов : ГОСТ ISO/IEC 15426—2022 (ISO/IEC 15426-2:2015, IDT). — 2022. — V, 17 с., включая обложку
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Осуществление деятельности в сфере игорного бизнеса: планируемые изменения / Сергей Крюковский // Юрист : профессиональный журнал / учредитель ООО "Информационное правовое агентство Гревцова". — 2024. ― № 3. ― С. 60―61
Автор Крюковский, С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Алгоритмы и программа моделирования напряженно-деформированного состояния унифицированных конструкций бортовой радиоэлектронной аппаратуры перспективных спутниковых платформ при механических воздействиях: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.02.04 / Хвалько Александр Александрович. - Томск, 2011. - 24 с.
Автор Хвалько, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Структурированные системы переходов: [монография] / Е.В. Кузьмин, В.А. Соколов. - Москва : Физматлит, 2006. - 173, [2] с.
Автор Кузьмин, Е. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Краснуха в Республике Беларусь: этап верификации элиминации инфекции / Е. О. Самойлович // Здравоохранение : научно-практический ежемесячный журнал / учредитель Министерство здравоохранения Республики Беларусь. — 2014. ― № 5. ― С. 13―17
Автор Самойлович, Е. О. (род. 1961)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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