247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 41 - 60 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.25сек.
   Выбранные записи:
Значок книги
Чтение чжурчжэньских письмен / А. М. Певнов. - Санкт-Петербург : Наука, Санкт-Петербургская издательская фирма, 2004. - 498 с.
Автор Певнов, А. М.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Метод векторного трекинг-формирования сигнальных радиоизображений малоразмерных объектов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.2.13 Радиотехника, в том числе системы и устройства телевидения / Шадинов Сергей Семенович. - Москва, 2025. - 18 с.
Автор Шадинов, С. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Закономерности развития информационных потоков в области полимерных волокнистых материалов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Корчагина Елена Валерьевна. - Волгоград, 2004. - 23 с.
Автор Корчагина, Е. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка и верификация математического обеспечения астроприборов: автореферат диссертации на соискание ученой степени кандидата технических наук: 01.04.01 / Никитин Андрей Владимирович. - Москва, 2004. - 19 с.
Автор Никитин, А. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование целесообразности применения и газодинамической эффективности ТНД с "обратным" вращением ротора: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.07.05 / Ван Лэй. - Москва, 2005. - 30 с.
Автор Ван, Л.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Коррекция цифровых космических изображений на основе верифицирующего моделирования: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Ушакова Наталья Николаевна. - Белгород, 2004. - 23 с.
Автор Ушакова, Н. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математика Евклида в свете философии Платона и Аристотеля / А.В.Родин. - М. : Наука, 2003. - 210 с.
Автор Родин, А. В. (род. 1965)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Семантико-дистрибутивная верификация терминологического знака: На материале документов нем. гражд.-процессуал. права: Автореф. дис. на соиск. учен. степ. канд. филол. наук: 10.02.04 / Меркель Светлана Эдуардовна. - Волгоград, 2001. - 18 с.
Автор Меркель, С. Э.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование программ с незавершающимся выполнением методом символического исполнения / В.П.Макаров. - Мн., 1987. - 7 с. - (Препринт ; N 5 (275))
Автор Макаров, В. П.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Разработка специализированных прототипов на основе программируемой логики для эффективной функциональной верификации многоядерных микропроцессоров: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Юрлин Сергей Владимирович. - Москва, 2014. - 21 с.
Автор Юрлин, С. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Компетентностно ориентированное управление подготовкой педагогов профессионального обучения: автореферат диссертации на соискание ученой степени доктора педагогических наук: 13.00.08 / Гнатышева Елена Александровна. - Челябинск, 2008. - 42 с.
Автор Гнатышина, Е. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделі лінійних структурних рівнянь як засіб верифікації соціологічних теорій середнього рівня: автореферат дисертації на здобуття наукового ступеня кандидата соціологічних наук: 22.00.02 / Любива Тетяна Ярославна. - Київ, 2011. - 15 с.
Автор Любива, Т. Я.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация автоматных программ в контексте синхронного программирования: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Кубасов Сергей Валерьевич. - Ярославль, 2008. - 19 с.
Автор Кубасов, С. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка методов и геометрических моделей анализа незаполненных пространств в задачах размещения: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.01.01 Инженерная геометрия и компьютерная / Ситу Лин. - Москва, 2011. - 24 с.
Автор Ситу Лин
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Кондратьев Дмитрий Александрович. - Новосибирск, 2022. - 24 с., включая обложку
Автор Кондратьев, Д. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теорія ритуалів переходу А. ван Геннепа: її зміст та верифікація на прикладі обрядів життєвого циклу: автореферат дисертації на здобуття наукового ступеня кандидата філософських наук: 09.00.11 / Пасічник Олександр Сергійович. - Київ, 2009. - 18 с.
Автор Пасічник, О. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация частотных спектров механизмов транспортирования ленты устройств хранения данных инфокоммуникационных систем: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.18; 05.12.13 / Елкин Владимир Сергеевич. - Ижевск, 2002. - 24 с.
Автор Елкин, В. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Модели речевых сигналов для аутентификации личности по голосу: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 : 05.13.19 / Голубинский Андрей Николаевич. - Воронеж, 2010. - 31, [1] с.
Автор Голубинский, А. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическое моделирование поведения полимерных сред и верификация реологической модели на основе численного эксперимента: Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: 01.02.05 / Алтухов Юрий Александрович. - Томск, 2001. - 35 с.
Автор Алтухов, Ю. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка математического и алгоритмического обеспечения автоматической верификации подписи: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Абдалла Али Ахмед Абдельрахман. - Владимир, 2009. - 18 с.
Автор Абдалла Али Ахмед Абдельрахман
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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