247 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "ВЕРИФИКАЦИЯ"
Отображение 101 - 120 из 247 для поиска: '"ВЕРИФИКАЦИЯ"', время запроса: 0.27сек.
   Выбранные записи:
Значок книги
Математическое моделирование верификации процесса разработки программного обеспечения: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 / Григорьев Михаил Викторович. - Тюмень, 2009. - 18 с.
Автор Григорьев, М. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы построения и верификации моделей системного программного обеспечения информационно-управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Окулевич Владимир Викентьевич. - Санкт-Петербург, 2004. - 16 с.
Автор Окулевич, В. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Новые алгоритмы метода Монте-Карло для решения нейтронно-физических задач и верификации инженерных программ расчета реакторов: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.14.03 / Рос. науч. центр "Курчатовский институт". - М., 1999. - 24 с.
Автор Калугин, М. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов. - Новосибирск : ИСИ, 1998. - 42 с. - (Препринт ; 50)
Автор Рязанов, А. Е.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Верификация распределенных систем с использованием аффинного представления данных логик знаний и действий: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Гаранина Наталья Олеговна. - Новосибирск, 2004. - 18 с.
Автор Гаранина, Н. О.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Проблема методологического синтеза и верификации в истории в свете современных концепций бессознательного: автореферат диссертации на соискание ученой степени доктора исторических наук: 07.00.09 / Николаева Ирина Юрьевна. - Томск, 2006. - 53 с.
Автор Николаева, И. Ю.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Динамический анализ и диагностика состояния IP-сети: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.13 / Шалаев Максим Павлович. - Санкт-Петербург, 2005. - 18 с.
Автор Шалаев, М. П.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Формальная семантика C-light программ и их верификация методом Хоара: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Промский Алексей Владимирович. - Новосибирск, 2004. - 17 с.
Автор Промский, А. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Обеспечение качества программных средств: методы и стандарты / В.В.Липаев. - Москва : Синтег, 2001. - 370 c. - (Серия "Информационные технологии")
Автор Липаев, В. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях: Учеб.пособие / Пенз.политехн.ин-т. - Пенза : Изд-во Пенз.политехн.ин-та, 1992. - 95 с.
Автор Дубинин, В. Н.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Моделирование композиционных уточняющих спецификаций: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.17 / Ступников Сергей Александрович. - Москва, 2005. - 24 с.
Автор Ступников, С. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Принципы работы с требованиями к программному обеспечению: Унифицир. подход: Пер. с англ. / Дин Леффингуэлл, Дон Уидриг. - М. и др. : Изд. дом "Вильямс", 2002. - 445 с. - (Серия книг по объектным технологиям)
Автор Леффингуэлл, Д.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Расчет и моделирование к-спектров многозарядных ионов для диагностики горячей плазмы и верификация атомных данных по спектрам токамака TEXTOR: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.04.02 / Горяев Фарид Фагимович. - Москва, 2004. - 22 с.
Автор Горяев, Ф. Ф.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация драйверов операционной системы Linux при помощи предикатных абстракций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Мутилин Вадим Сергеевич. - Москва, 2012. - 26 с.
Автор Мутилин, В. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Татарников Андрей Дмитриевич. - Москва, 2017. - 24 с.
Автор Татарников, А. Д.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний: (метод, инструментальное средство, верификация): автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Гуров Вадим Сергеевич. - Санкт-Петербург, 2008. - 16 с.
Автор Гуров, В. С.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмические свойства формальных моделей параллельных и распределенных систем: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 05.13.17 / Кузьмин Егор Владимирович. - Ярославль, 2010. - 43 с.
Автор Кузьмин, Е. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка моделей и алгоритмов функциональной верификации при проектировании программируемых логических интегральных схем: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Дьячков Юрий Владимирович. - Воронеж, 2010. - 16 с.
Автор Дьячков, Ю. В.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование и разработка семантических методов анализа распределенных программ: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Шипов Андрей Александрович. - Москва, 2016. - 20 с.
Автор Шипов, А. А.
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация информационных моделей строительных объектов на основе языка моделирования правил: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.12 Системы автоматизации проектирования / Макиша Елена Владиславовна. - Москва, 2019. - 24 с.
Автор Макиша, Е. В. (род. 1992)
Предмет: '; “...ВЕРИФИКАЦИЯ...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [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 Молдавский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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