166 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 166 для поиска: '', время запроса: 0.14сек.
   Выбранные записи:
Значок книги
Программное обеспечение ЭВМ / Академия наук Белорусской ССР, Институт математики. Вып. 100 : Инструменты статического и динамического тестирования программ (АВТОГРАФ) / под редакцией В. А. Шимарова. — 1994. — 104, 3 с.
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Старолетов Сергей Михайлович. - Новосибирск, 2011. - 20 с.
Автор Старолетов, С. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Fuzzing: исследование уязвимостей методом грубой силы: [перевод с английского] / Майкл Саттон, Адам Грин и Педрам Амини. - Санкт-Петербург : Москва : Символ-Плюс, 2009. - 555 с. - (High tech)
Автор Саттон, М.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Разработка моделей и алгоритмов тестирования программных комплексов на основе принципа декомпозиции: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации по техническим наукам / Базин Александр Сергеевич. - Нижний Новгород, 2012. - 23 с.
Автор Базин, А. С.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Хатько Евгений Евгеньевич. - Москва, 2013. - 21 с.
Автор Хатько, Е. Е.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Модели и методы тестирования программных систем на основе алгебраического подхода: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.01 Системный анализ, управление и обработка информации / Вигура Антон Николаевич. - Нижний Новгород, 2013. - 23, [1] с.
Автор Вигура, А. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод редукции тестового набора для интеграционного тестирования: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Кичигин Дмитрий Юрьевич. - Москва, 2010. - 24 с.
Автор Кичигин, Д. Ю.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Методы оценки несоответствия средств защиты информации / А. С. Марков, В. Л. Цирлов, А. В. Барабанов. - Москва : Радио и связь, НПО "Эшелон", 2012. - 191, [1] с.
Автор Марков, А. С.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Исследование программ с незавершающимся выполнением методом символического исполнения / В.П.Макаров. - Мн., 1987. - 7 с. - (Препринт ; N 5 (275))
Автор Макаров, В. П.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Методы и средства интегральной оценки тестированности программного проекта, позволяющие управлять процессом разработки тестов: Автореф. дис. на соиск. учен. степ. канд. техн. наук: 05.13.11 / С.-Петерб. гос. техн. ун-т. - СПб., 1998. - 18 с.
Автор Пинаев, Д. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Применение формальных методов для тестирования компиляторов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Посыпкин Михаил Анатольевич. - Москва, 2004. - 22 с.
Автор Посыпкин, М. А. (род. 1974)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизация тестирования программных приложений методом ключевых состояний: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Гриппа Генри Леонидович. - Санкт-Петербург, 2006. - 18 с.
Автор Гриппа, Г. Л.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Дробинцев Павел Дмитриевич. - Санкт-Петербург, 2006. - 18 с.
Автор Дробинцев, П. Д.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора: автореферат диссертации на соискание ученой степени кандидата технических наук: специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Сидорин Алексей Васильевич. - Москва, 2017. - 19 с.
Автор Сидорин, А. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
PowerBuilder: Рук. разработчика / Пер. с англ. Е.И.Шадрина. - М. : Мир и др., 1997. - 390 с.
Автор Касчиато, Ч.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Оценка показателей качества проблемного программного обеспечения: Конспект лекций / Ю.Г.Приходько. - Мн., 1985. - 68 с.
Автор Приходько, Ю. Г.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Типизация и автоматизация программирования гибких производственных систем: (сборник научных трудов) / Министерство приборостроения, средств автоматизации и систем управления, Центральный научно-исследовательский и проектно-технологический институт организации и техники управления. - Минк : ЦНИИТУ, 1986. - 148, [8] с.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Программная инженерия: учебник: для студентов высших учебных заведений, обучающихся по направлению подготовки 231000 "Программная инженерия" / [В. А. Антипов и др.]. - Москва : Академия, 2014. - 281, [1] с. - (Высшее образование. Информатика и вычислительная техника) (Бакалавриат)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Проектирование программных средств: учебное пособие для студентов направления "Прикладная математика и информатика" / Т. А. Панюкова. - Москва : URSS, Либроком, 2012. - 361 с.
Автор Макаровских, Т. А. (род. 1981)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Oracle 8: программирование на языке PL/SQL: Пер. с англ. - М. : Лори, 1999. - XXX, 607, [1] с.
Автор Урман, С.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • Следующий »
  • [9]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
119 Книги 41 Авторефераты диссертаций 2 Электронные ресурсы 1 Статьи 1 Диссертации 1 Периодические издания больше ... 1 Документы по стандартизации см. все ... меньше ...
Автор/Создатель
6 Гагарина, Л. Г. 5 Куликов, С. С. 3 Липаев, В. В. 2 Блэк, Р. (род. 1964) 2 Бурдонов, И. Б. (род. 1948) 2 Киевец, Н. Г. (род. 1983) больше ... 2 Котляров, В. П. 2 Круг, С. 2 Мартишин, С. А. 2 Орлов, С. А. 2 Синицын, С. В. 2 Стивенс, Р. (род. 1961) 2 Шимаров, В. А. (род. 1962) 1 Базин, А. С. 1 Баклин, Дж. 1 Балагин, В. В. 1 Барнум, К. М. 1 Бахтизин, В. В. 1 Бейзер, Б. 1 Бек, К. (род. 1961) 1 Благодаренко, А. В. 1 Брауде, Э. Д. 1 Васильев, В. Г. 1 Вигура, А. Н. 1 Винниченко, И. В. 1 Воинов, Н. В. 1 Волков, В. Г. 1 Голубев, А. А. 1 Грегори, Д. (род. 1953) 1 Гриппа, Г. Л. см. все ... меньше ...
Предмет
ТЕСТИРОВАНИЕ ПРОГРАММ 70 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ 57 РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 32 ОТЛАДКА ПРОГРАММ 29 ПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ 26 ПРОГРАММИРОВАНИЕ больше ... 16 НАЛАДКА ПРАГРАМ 14 ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 13 ПЭВМ 11 ВЕРИФИКАЦИЯ 11 ПРАГРАМАВАННЕ 10 ИНФОРМАЦИОННЫЕ СИСТЕМЫ 10 КАЧЕСТВО СИСТЕМ И ПРОГРАММ (вычисл. техника) 10 ПРИКЛАДНЫЕ ПРОГРАММЫ 10 ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ 9 КОМПЬЮТЕРНЫЕ ПРОГРАММЫ 9 ПАКЕТЫ ПРИКЛАДНЫХ ПРОГРАММ 8 "ПРАБЛЕМА 2000" 8 "ПРОБЛЕМА 2000" 8 БАЗЫ ДАННЫХ 8 ВЕБ-ПРИЛОЖЕНИЯ 8 ТЕСТИРОВАНИЕ (вычисл. техника) 8 ЯЗЫКИ ПРОГРАММИРОВАНИЯ 7 ЖИЗНЕННЫЙ ЦИКЛ 7 НАДЕЖНОСТЬ (техн.) 7 ПАКЕТЫ ПРЫКЛАДНЫХ ПРАГРАМ 7 УПРАВЛЕНИЕ ПРОЕКТАМИ 6 АВТОМАТИЗАЦИЯ 6 АЛГОРИТМЫ (мат., информатика) 6 Беларусь, Республика см. все ... меньше ...
Жанр
14 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 9 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 4 ЛАБОРАТОРНАЯ РАБОТА 4 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 3 СБОРНИК НАУЧНЫХ ТРУДОВ 3 УЧЕБНИК ДЛЯ ВУЗОВ больше ... 2 МІЖНАРОДНЫ СТАНДАРТ 2 МЕЖДУНАРОДНЫЙ СТАНДАРТ 2 ПРАКТИЧЕСКОЕ ПОСОБИЕ 2 САМОУЧИТЕЛЬ 1 АННОТИРОВАННОЕ БИБЛИОГРАФИЧЕСКОЕ ПОСОБИЕ 1 БИБЛИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ (на удаление) 1 ЗБОРНІК НАВУКОВЫХ ПРАЦ 1 КОРПОРАТИВНАЯ ГАЗЕТА 1 МАЛОТИРАЖНАЯ ГАЗЕТА 1 МАТЕРИАЛЫ КОНФЕРЕНЦИИ, СЪЕЗДА, СИМПОЗИУМА 1 НАВУЧАЛЬНЫ ДАПАМОЖНІК ДЛЯ ВНУ 1 ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ 1 ПРАКТИЧЕСКАЯ РАБОТА 1 САМАВУЧЫЦЕЛЬ 1 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ССУЗОВ 1 ЭЛЕКТРОННОЕ ИЗДАНИЕ см. все ... меньше ...
Серия
7 Высшее образование 5 Препринт 5 Серия "Библиотека программиста" 3 Основы информационных технологий 2 Бакалавриат 2 Библиотека программиста больше ... 2 Мировой компьютерный бестселлер 2 Серия "Мастер-класс" 2 Стандарт третьего поколения 2 Учебник для вузов 1 High tech 1 The Addison-Wesley Signature Series 1 Аурамедиа 1 Библиотечка журнала "Информационные технологии" 1 Высшее образование — бакалавриат 1 Высшее образование ― Бакалавриат 1 Высшее профессиональное образование 1 Государственный стандарт Республики Беларусь 1 Классика computer science 1 Компьютер без секретов 1 Кратко, доступно, просто 1 Образовательный стандарт Республики Беларусь 1 Приложение к журналу "Информационные технологии" 1 Самоучитель 1 Серия "Head first O'Reilly" 1 Серия "Для программистов" 1 Серия "Для профессионалов" 1 Серия "Информационные технологии" 1 Серия "Специалист" 1 Серия 50.47, Автоматизированные системы управления технологическими процессами см. все ... меньше ...
Место публикации
41 Москва 24 Минск 16 Санкт-Петербург 13 М. 13 Санкт-Петербург [и др.] 9 Мн больше ... 6 Нижний Новгород 3 Астана 3 М. и др 3 Могилев 3 Москва [и др.] 3 Новосибирск 2 Витебск 2 Гомель 2 Киев 2 Красноярск 2 Москва Санкт-Петербург [и др.] 2 СПб. и др 2 Томск 1 Волгоград 1 Гродно 1 Ереван 1 М. СПб 1 Минк 1 Москва Санкт-Петербург 1 Новополоцк 1 СПб 1 Санкт-Петербрг и др 1 Санкт-Петербург Москва 1 Таганрог см. все ... меньше ...
Язык
166 Русский 35 Английский 1 Белорусский см. все ...
Дата издания

Опции поиска

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

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

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