247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 121 - 140 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.40сек.
   Выбранные записи:
Значок книги
Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Захаров Илья Сергеевич. - Москва, 2019. - 25 с.
Автор Захаров, И. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Кинетические балонные моды в плазме токамака и стелларатора: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.04.08 Физика плазмы / Алейникова Ксения Олеговна. - Москва, 2018. - 24 с.
Автор Алейникова, К. О.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Обоснование безопасности реакторов ВВЭР на основе экспериментальных теплогидравлических исследований: автореферат диссертации на соискание ученой степени доктора технических наук: 05.14.03 ; 01.04.14 / Безруков Юрий Алексеевич. - Подольск, 2007. - 47 с.
Автор Безруков, Ю. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование и верификация цифровых систем на языке VHDL: учебное пособие для студентов учреждения высшего образования по специальностям "Электронные вычислительные средства", "Вычислительные машины, системы и сети", "Программное обеспечение информационных технологий" / П. Н. Бибило, Н. А. Авдеев. - Москва : URSS, Ленанд, 2017. - 342 с., [1] л. цв. ил.
Автор Бибило, П. Н. (род. 1953)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Повышение эффективности рекуперативных устройств с закрученным течением теплоносителя: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.14.04 Промышленная теплоэнергетика / Панкратов Евгений Владимирович. - Казань, 2021. - 14, [2] с., включая обложку
Автор Панкратов, Е. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Эффективность составных проницаемых оболочек в сопловых лопатках газовых турбин с проникающим охлаждением: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.04.12 / Назаренко Андрей Владиславович. - Санкт-Петербург, 2008. - 16 с.
Автор Назаренко, А. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование рекламных расходов с учетом эффекта распределенного воздействия: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.18 Математическое моделирование, численные методы и комплексы программ / Ямалтдинова Наиля Ринатовна. - Ульяновск, 2019. - 22 с.
Автор Ямалтдинова, Н. Р.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теория и моделирование магнитогидравлических процессов в электротехнологических комплексах металлургического назначения: автореферат диссертации на соискание ученой степени доктора технических наук: специальность 05.09.10 Электротехнология / Хацаюк Максим Юрьевич. - Санкт-Петербург, 2019. - 39 с.
Автор Хацаюк, М. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Защита сред облачных вычислений путем верификации программного обеспечения на наличие деструктивных свойств: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Туманов Юрий Михайлович. - Москва, 2012. - 19 с.
Автор Туманов, Ю. М.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Travaux de la Commission pour fixer les mesures et les poids de l'Empire de Russie / rédigés par A. Th. Kupffer. T. 2. — [3], 416 c., XIII л. іл.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М. Ю. Машуков, Т. Г. Чурина. - Новосибирск : ИСИ, 2007. - 70 с. - (Препринт ; № 144)
Автор Машуков, М. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Разработка сверхбыстрых ключей на основе карбида кремния: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.27.01 Твердотельная электроника, радиоэлектронные компоненты, микро- и наноэлектроника, приборы на квантовых эффектах / Шевченко Сергей Александрович. - Санкт-Петербург, 2021. - 18 с.
Автор Шевченко, С. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Статический анализ условий гонки в параллельных программах на разделяемой памяти: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.18 / Прокопенко Артем Сергеевич. - Москва, 2010. - 23 с.
Автор Прокопенко, А. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Динамические задачи акустического зондирования слоистых упругих материалов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.02.04 Механика деформируемого твердого тела / Мякишева Ольга Александровна. - Краснодар, 2019. - 26 с.
Автор Мякишева, О. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическое моделирование русловых процессов в каналах с песчано-гравийным основанием: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальности 05.13.18 Математическое моделирование, численные методы и комплексы программ / Снигур Ксения Сергеевна. - Комсомольск-на-Амуре, 2016. - 18 с.
Автор Снигур, К. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методические подходы к верификации учетной информации в системе бухгалтерского учета на примере Монголии: автореферат диссертации на соискание ученой степени кандидата экономических наук: специальность 08.00.12 Бухгалтерский учет, статистика / Мягмар Мишигдорж. - Москва, 2012. - 23, [2] с.
Автор Мягмар Мишигдорж
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теоретические и экспериментальные исследования процессов генерации и детектирования терагерцового излучения фотопроводящими антеннами: физико-математическая модель и новые подходы к оптимизации: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 1.3.19 Лазерная физика / Лаврухин Денис Владимирович. - Москва, 2023. - 22 с.
Автор Лаврухин, Д. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Философская схема Лумана: опыт философской интерпретации общей теории систем Никласа Лумана / Л. Б. Жуков. - Москва : URSS, Ленанд, 2019. - 246 с.
Автор Жуков, Л. Б. (род. 1955)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Анализ экспериментальных частотных характеристик и определение динамических параметров конструкции: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.07.03 Прочность и тепловые режимы летательных аппаратов / Григорьев Борис Валентинович. - Жуковский, 2001. - 26 с.
Автор Григорьев, Б. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматическая верификация и оптимизация потоков работ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Каленкова Анна Алексеевна. - Москва, 2011. - 16 с.
Автор Каленкова, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • Следующий »
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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