235 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 235 для поиска: '', время запроса: 0.15сек.
   Выбранные записи:
Значок книги
Теория и практика верификации словарных данных на основе источников: автореферат диссертации на соискание ученой степени доктора филологических наук: специальности 10.02.01 Русский язык, 10.02.19 Теория языка / Шаповал Виктор Васильевич. - Москва, 2016. - 40 с.
Автор Шаповал, В. В. (род. 1958)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / В.Е.Козюра. - Новосибирск, 2004. - 18 с.
Автор Козюра, В. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Генерация управляющих автоматов на основе генетического программирования и верификации: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Егоров Кирилл Викторович. - Санкт-Петербург, 2013. - 16 с.
Автор Егоров, К. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод поддержки принятия решения о безопасности программного обеспечения: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Беляков Игорь Александрович. - Санкт-Петербург, 2013. - 16 с.
Автор Беляков, И. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация параметризованных моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Коннов Игорь Владимирович. - Москва, 2008. - 26 с.
Автор Коннов, И. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы построения и верификации моделей системного программного обеспечения информационно-управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Окулевич Владимир Викентьевич. - Санкт-Петербург, 2004. - 16 с.
Автор Окулевич, В. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Дубцов Роман Сергеевич. - Новосибирск, 2008. - 18 с.
Автор Дубцов, Р. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация драйверов операционной системы Linux при помощи предикатных абстракций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Мутилин Вадим Сергеевич. - Москва, 2012. - 26 с.
Автор Мутилин, В. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка специализированных прототипов на основе программируемой логики для эффективной функциональной верификации многоядерных микропроцессоров: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.05 Элементы и устройства вычислительной техники и систем управления / Юрлин Сергей Владимирович. - Москва, 2014. - 21 с.
Автор Юрлин, С. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Татарников Андрей Дмитриевич. - Москва, 2017. - 24 с.
Автор Татарников, А. Д.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка методики использования широких фонетических категорий в задачах верификации диктора: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.17 / Милошенко Алексей Анатольевич. - Москва, 2010. - 23 с.
Автор Милошенко, А. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация правил фильтрации межсетевых экранов на основе применения метода "проверки на модели": автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Полубелова Ольга Витальевна. - Санкт-Петербург, 2013. - 20 с.
Автор Полубелова, О. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чупилко Михаил Михайлович. - Москва, 2012. - 24 с.
Автор Чупилко, М. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка моделей и методов верификации и анализа документов в электронном архиве энергетических объектов: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.12 Системы автоматизации проектирования / Харин Максим Алексеевич. - Иваново, 2013. - 19, [1] с., включая обложку
Автор Харин, М. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Булычёв Пётр Евгеньевич. - Москва, 2010. - 28 с.
Автор Булычев, П. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Худов Ким Андреевич. - Москва, 2006. - 20 с.
Автор Худов, К. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логические методы и инструментальные средства верификации офисных процедур: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.12 / Моск. гос. горн. ун-т. - М., 1995. - 21 с.
Автор Матюнина, О. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Представление озер в моделях погоды и климата: внешние параметры, объективный анализ температуры поверхности воды и верификация: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 25.00.30 Метеорология, климатология, агрометеорология / Шульга Маргарита. - Санкт-Петербург, 2016. - 22 с.
Автор Шульга, М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний: (метод, инструментальное средство, верификация): автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Гуров Вадим Сергеевич. - Санкт-Петербург, 2008. - 16 с.
Автор Гуров, В. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Построение и верификация модели нестационарного теплового воздействия на контур волоконно-оптического гироскопа с целью минимизации его теплового дрейфа: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 01.02.06 Динамика, прочность машин, приборов и аппаратуры / Есипенко Иван Александрович. - Санкт-Петербург, 2017. - 23 с., включая обложку
Автор Есипенко, И. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • Следующий »
  • [12]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
157 Авторефераты диссертаций 46 Книги 16 Статьи 8 Диссертации 7 Документы по стандартизации 1 Документы международных организаций см. все ...
Автор/Создатель
4 Корсак, А. И. 3 Янь Цзинбинь (род. 1972) 2 Ахунджанов, У. Ю. 2 Зельманский, О. Б. 2 Ильев, И. Г. (род. 1969) 2 Королев, И. А. больше ... 2 Кузьмин, Е. В. 2 Липаев, В. В. 2 Новиков, Д. Я. (род. 1983) 2 Ракуш, В. В. (род. 1973) 2 Сивко, Б. В. 2 Синицын, С. В. 2 Титович, Е. В. 1 United Nations. Department for Disarmament Affairs. 1 Абдалла Али Ахмед Абдельрахман 1 Абрамова, Н. А. 1 Аглетдинов, Э. А. 1 Алейникова, К. О. 1 Алтухов, Ю. А. 1 Андрианов, П. С. 1 Баша, Н. С. 1 Безруков, Ю. А. 1 Белявский, А. М. (род. 1976) 1 Беляков, И. А. 1 Бентли, Д. 1 Бибило, П. Н. (род. 1953) 1 Болотова, С. Ю. 1 Больщиков, Б. Д. 1 Бубнова, И. А. 1 Булычев, П. Е. см. все ... меньше ...
Предмет
ВЕРИФИКАЦИЯ 46 ВЕРЫФІКАЦЫЯ 32 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 26 Беларусь, Республика 17 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 12 ПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ больше ... 11 АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ 11 АЛГОРИТМЫ (мат., информатика) 11 ТЕСТИРОВАНИЕ ПРОГРАММ 10 ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ 9 ЗАЩИТА ИНФОРМАЦИИ 9 ПРОГРАММИРОВАНИЕ 9 ПРОГРАММНЫЕ КОМПЛЕКСЫ 9 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 8 РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ 7 ПРАГРАМАВАННЕ 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 DDA occasional papers 1 Studia philologica 1 Библиотека программиста больше ... 1 Библиотечка журнала "Информационные технологии" 1 Высшее профессиональное образование 1 Основы информационных технологий 1 Серия "Информационные технологии" 1 Серия "Системы проектирования" 1 Серия 06.75.13, Управление, планирование, программирование и прогнозирование отраслей народного хозяйства 1 Серия Института качества программного обеспечения 1 Серия КА "Кунсткамера ― Архив" 1 Серия книг по объектным технологиям см. все ... меньше ...
Место публикации
71 Москва 30 Минск 30 Санкт-Петербург 9 Новосибирск 6 М. 5 М. и др больше ... 5 Томск 4 Воронеж 4 Казань 3 Гомель 3 Мн 3 Тюмень 3 Ярославль 2 Волгоград 2 Дубна 2 Ижевск 2 Краснодар 2 Омск 2 Пенза 2 СПб 2 Самара 2 Челябинск 1 New York 1 Белгород 1 Витебск 1 Владимир 1 Душанбе 1 Екатеринбург 1 Жуковский 1 Иваново см. все ... меньше ...
Язык
233 Русский 22 Английский 6 Белорусский 1 Молдавский см. все ...
Дата издания

Опции поиска

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

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

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