53 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 53 для поиска: '', время запроса: 0.17сек.
   Выбранные записи:
Значок книги
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / В.Е.Козюра. - Новосибирск, 2004. - 18 с.
Автор Козюра, В. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы построения и верификации моделей системного программного обеспечения информационно-управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.12 / Окулевич Владимир Викентьевич. - Санкт-Петербург, 2004. - 16 с.
Автор Окулевич, В. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Худов Ким Андреевич. - Москва, 2006. - 20 с.
Автор Худов, К. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логические методы и инструментальные средства верификации офисных процедур: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.12 / Моск. гос. горн. ун-т. - М., 1995. - 21 с.
Автор Матюнина, О. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Информационные технологии. Автоматическая идентификация и технология сбора данных. Технические условия соответствия верификатора штрихового кода. Ч. 1 : Линейные символы : ISO/IEC 15426-1:2000, IDT. — ІІІ, 8 с. — (Государственный стандарт Республики Беларусь)
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Закономерности развития информационных потоков в области полимерных волокнистых материалов: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.01 / Корчагина Елена Валерьевна. - Волгоград, 2004. - 23 с.
Автор Корчагина, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Моделі лінійних структурних рівнянь як засіб верифікації соціологічних теорій середнього рівня: автореферат дисертації на здобуття наукового ступеня кандидата соціологічних наук: 22.00.02 / Любива Тетяна Ярославна. - Київ, 2011. - 15 с.
Автор Любива, Т. Я.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка и верификация математического обеспечения астроприборов: автореферат диссертации на соискание ученой степени кандидата технических наук: 01.04.01 / Никитин Андрей Владимирович. - Москва, 2004. - 19 с.
Автор Никитин, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Новые алгоритмы метода Монте-Карло для решения нейтронно-физических задач и верификации инженерных программ расчета реакторов: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.14.03 / Рос. науч. центр "Курчатовский институт". - М., 1999. - 24 с.
Автор Калугин, М. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Разработка и верификация расчетного кода для анализа аварий, связанных с перемешиванием теплоносителя с разной концентрацией борной кислоты в проточном тракте реатора ВВЭР-1000: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.14.03 / Петросян Артем Валерикович. - Электрогорск, 2005. - 21 с.
Автор Петросян, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование целесообразности применения и газодинамической эффективности ТНД с "обратным" вращением ротора: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.07.05 / Ван Лэй. - Москва, 2005. - 30 с.
Автор Ван, Л.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Унифицированный процесс. Основные концепции: Пер. с англ. / Кендалл Скотт. - М. и др. : Вильямс, 2002. - 159 с.
Автор Скотт, К.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
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 л. іл.
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Информационные технологии. Автоматическая идентификация и технология сбора данных. Технические условия соответствия верификатора штрихового кода. Ч. 1 : Линейные символы. — ІІІ, 8 с. — (Государственный стандарт Республики Беларусь)
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов. - Новосибирск : ИСИ, 1998. - 42 с. - (Препринт ; 50)
Автор Рязанов, А. Е.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Методическое пособие "Защита данных: верификация личности и биометрика" по курсу "Защита информации и санкционирование доступа" для студентов специальности Т.100200 "Программное обеспечение информационных технологий": На англ. яз. / Под яз. ред. Р.К.Образцовой. - Мн. : БГУИР, 1997. - 32 с.
Автор Демиденко, С. Н.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Распознавание частотных спектров при проектировании ленточных устройств хранения данных: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.18 ; 05.12.13 / Григорьев Евгений Васильевич. - Ижевск, 2004. - 24 с.
Автор Григорьев, Е. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Этимология / Академия наук СССР, Институт русского языка. 1997―1999 : к семидесятилетию О. Н. Трубачева / ответственный редактор Ж. Ж. Варбот. — 2000. — 240 с., [1] л. портр.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Verifying non-proliferation & disarmament agreements today: panel discussion, United Nations, New York, 20 October 2005 / United Nations. Department for Disarmament Affairs. - New York : UN, 2006. - vii, 71 p. - (DDA occasional papers ; N 10)
Автор United Nations. Department for Disarmament Affairs.
Документы международных организаций
Добавить в Избранное
Сохранено в:
Значок книги
Верификация распределенных систем с использованием аффинного представления данных логик знаний и действий: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Гаранина Наталья Олеговна. - Новосибирск, 2004. - 18 с.
Автор Гаранина, Н. О.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • Следующий »
  • [3]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
25 Авторефераты диссертаций 24 Книги 1 Диссертации 1 Документы международных организаций 1 Периодические издания 1 Продолжающиеся издания см. все ...
Автор/Создатель
2 Липаев, В. В. 2 Ракуш, В. В. (род. 1973) 1 Michońska-Stadnik, Anna 1 United Nations. Department for Disarmament Affairs. 1 Бентли, Д. 1 Борщик, Я. В. больше ... 1 Бубнова, И. А. 1 Ван, Л. 1 Гаранина, Н. О. 1 Горяев, Ф. Ф. 1 Григорьев, Е. В. 1 Демиденко, С. Н. 1 Дубинин, В. Н. 1 Калбертсон, Р. 1 Калугин, М. А. 1 Козюра, В. Е. 1 Корчагина, Е. В. 1 Леффингуэлл, Д. 1 Любива, Т. Я. 1 Макаров, В. П. 1 Матюнина, О. Е. 1 Медведев, В. Ф. (1928—2020) 1 Меркель, С. Э. 1 Никитин, А. В. 1 Николаева, И. Ю. 1 Окулевич, В. В. 1 Парийская, Е. Ю. 1 Пасічник, О. С. 1 Петросян, А. В. 1 Поляков, А. К. см. все ... меньше ...
Предмет
ВЕРЫФІКАЦЫЯ 46 ВЕРИФИКАЦИЯ 12 ПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ 12 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 7 ПРАГРАМАВАННЕ 7 ПРОГРАММИРОВАНИЕ больше ... 5 ПЭВМ 5 ТЕСТИРОВАНИЕ ПРОГРАММ 4 Беларусь 3 АЛГАРЫТМЫ (мат., інфарматыка) 3 АЛГОРИТМЫ (мат., информатика) 3 АХОВА ІНФАРМАЦЫІ 3 ВЫЛІЧАЛЬНЫЯ СЕТКІ 3 ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ 3 ЗАЩИТА ИНФОРМАЦИИ 3 МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 3 МАТЭМАТЫЧНАЕ МАДЭЛЯВАННЕ 3 МОВЫ ПРАГРАМАВАННЯ 3 СЕМАНТИКА (лингв.) 3 СЕМАНТЫКА (лінгв.) 3 ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ 3 ЯДЕРНЫЕ РЕАКТОРЫ 3 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 2 C (язык программирования) 2 JAVA (программный продукт) 2 UNIFIED MODELING LANGUAGE UML (язык программирования) 2 ІДЭНТЫФІКАЦЫЯ 2 ІМАВЕРНАСНЫЯ МАДЭЛІ 2 ІНСПЕКЦЫІ 2 ІНТЭРНЭТ см. все ... меньше ...
Жанр
2 МІЖНАРОДНЫ СТАНДАРТ 2 МЕЖДУНАРОДНЫЙ СТАНДАРТ 1 ПРЕДВАРИТЕЛЬНЫЙ СТАНДАРТ 1 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 1 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ см. все ...
Серия
2 Государственный стандарт Республики Беларусь 2 Предварительный государственный стандарт Республики Беларусь 2 Препринт 1 Acta Universitatis Wratislaviensis 1 DDA occasional papers 1 Disarmament forum больше ... 1 Studia philologica 1 Szlachta polska 1 Библиотека программиста 1 Библиотечка журнала "Информационные технологии" 1 Серия "Информационные технологии" 1 Серия "Системы проектирования" 1 Серия 06.75.13, Управление, планирование, программирование и прогнозирование отраслей народного хозяйства 1 Серия Института качества программного обеспечения 1 Серия книг по объектным технологиям см. все ... меньше ...
Место публикации
8 Москва 5 М. 5 М. и др 5 Минск 4 Новосибирск 3 Київ больше ... 3 Мн 3 Санкт-Петербург 2 Волгоград 2 СПб 1 Geneva 1 New York 1 Warszawa 1 Wrocław 1 Белгород 1 Ижевск 1 Пенза 1 Томск 1 Электрогорск см. все ... меньше ...
Язык
47 Русский 7 Английский 3 Украинский 2 Французский 2 Польский 1 Немецкий см. все ...
Дата издания

Опции поиска

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

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

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