247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 81 - 100 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.52сек.
   Выбранные записи:
Значок книги
Выявление и доказательство свойств функциональных программ методами суперкомпиляции: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Ключников Илья Григорьевич. - Москва, 2010. - 20 с.
Автор Ключников, И. Г.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование процессов тепломассопереноса при течении двухфазных потоков в зернистых средах: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 01.04.14 Теплофизика и теоретическая теплотехника / Храмцов Дмитрий Петрович. - Москва, 2019. - 18 с.
Автор Храмцов, Д. П.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация математических моделей механохимической кинетики трения и накопления повреждений в конструкционных материалах при разрушении: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.17.08 ; 05.13.06 / Юркин Юрий Андреевич. - Москва, 2007. - 27 с.
Автор Юркин, Ю. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов: автореферат диссертации на соискание ученой степени доктора технических наук: 05.13.12 / Тюгашев Андрей Александрович. - Самара, 2007. - 32 с.
Автор Тюгашев, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация распределенных программ методом проверки на модели: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Царьков Дмитрий Викторович. - Москва, 2002. - 21 с.
Автор Царьков, Д. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка методики управления качеством перспективных изделий ракетно-космической техники на ранних этапах их создания: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.02.23 / Сухова Татьяна Сергеевна. - Москва, 2008. - 21 с.
Автор Сухова, Т. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Мандрыкин Михаил Усамович. - Москва, 2016. - 23 с., включая обложку
Автор Мандрыкин, М. У.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка и исследование математического и программного обеспечения распознавания и визуализации подписи: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Шуб Дмитрий Анатольевич. - Москва, 2011. - 22 с.
Автор Шуб, Д. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы разработки и верификации микропроцессорных систем для обеспечения безопасности движения поездов: диссертация на соискание ученой степени кандидата технических наук: специальность 05.22.08 Управление процессами перевозок / Сивко Борис Витальевич. - Гомель, 2019. - 257, [31] л.
Автор Сивко, Б. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Методы разработки и верификации микропроцессорных систем для обеспечения безопасности движения поездов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.22.08 Управление процессами перевозок / Сивко Борис Витальевич. - Гомель, 2019. - 26 с.
Автор Сивко, Б. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Тихомиров Владимир Александрович. - Санкт-Петербург, 2009. - 19 с.
Автор Тихомиров, В. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Программирование на языке высокого уровня: учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям) " и другим экономическим специальностям / С. В. Синицын, А. С. Михайлов, О. И. Хлытчиев. - Москва : Академия, 2010. - 392, [1] с. - (Высшее профессиональное образование. Информатика)
Автор Синицын, С. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Функциональная верификация микропроцессоров на системном уровне с использованием методов машинного обучения: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 2.3.2 Вычислительные системы и их элементы / Гревцев Никита Артемович. - Москва, 2024. - 24 с.
Автор Гревцев, Н. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Оптимизация алгоритма молекулярной диагностики болезни Фабри в Российской Федерации: автореферат диссертации на соискание ученой степени кандидата медицинских наук: специальность 1.5.7 Генетика / Мазанова Наталья Николаевна. - Москва, 2024. - 25 с.
Автор Мазанова, Н. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Поиск ключевых слов в слитной речи для современных систем обработки аудиосигналов: диссертация на соискание ученой степени кандидата технических наук: 05.13.01: защищена 04.02.10: утверждена 31.03.10 / Янь Цзинбинь. - Минск, 2009. - 121, [5] л.
Автор Янь Цзинбинь (род. 1972)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Применение линейных ускорителей электронов в высокотехнологичной лучевой терапии / И. Г. Тарутин, Е. В. Титович. - Минск : Беларуская навука, 2014. - 174, [1] с.
Автор Тарутин, И. Г. (род. 1940)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Поиск ключевых слов в слитной речи для современных систем обработки аудиосигналов / Янь Цзинбинь, И. Э. Хейдоров, А. М. Сорока. - Минск : Республиканский институт высшей школы, 2010. - 196 с.
Автор Янь Цзинбинь (род. 1972)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Поиск ключевых слов в слитной речи для современных систем обработки аудиосигналов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Янь Цзинбинь. - Минск, 2009. - 20 с.
Автор Янь Цзинбинь (род. 1972)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Основы построения вычислительных систем: практикум для курсантов и слушателей Военной академии Республики Беларусь / И. Г. Ильёв, А. Ф. Кривец, Д. М. Овчинников. - Минск : ВА РБ, 2019. - 75 с.
Автор Ильев, И. Г. (род. 1969)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Основы построения вычислительных систем: курсовое проектирование: пособие / И. Г. Ильёв, А. Ф. Кривец, Д. М. Овчинников. - Минск : ВА РБ, 2020. - 45 с.
Автор Ильев, И. Г. (род. 1969)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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