Полное описание
Мадан, В. И.
ГРНТИ УДК 50.41.17 004.415.5(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР92-6223)
Шифр в сводном ЭК: 716fff804a070e2e6c1e46215b345e74
Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В. А. Скрыпник, 1993. - 144 c. - Текст : непосредственный. Чижов А.А. Системные программные средства ПЭВМ / А. А. Чижов, 1990. - 414 с. - Текст : непосредственный. IBM Systems Journal / IBM. - Журнал выходит с 1962г. - Текст : непосредственный. Операционная система МОС ВП. Программа генерации системы. : методический материал, 1989. - 119 с. - Текст : непосредственный. Операционная система МОС ВП. Программа проверки дисковых файлов : методический материал, 1989. - 11 с. - Текст : непосредственный. Операционная система МОС ВП. Подсистема разработки программ. Программа корректировки образа задачи : методический материал, 1989. - 209 с. - Текст : непосредственный. Norton Commander : методический материал, 1991. - 37 с. - Текст : непосредственный. Development of utilization system of dataflow computer, 1990. - 34 p. - Текст : непосредственный. Microsoft developer network. Development platform-INTL. Disc 1 : Glossaties, ODBC drivers and additional tools, 1997. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Новое в жизни, науке, технике. Подписная научно-популярная серия: Вычислительная техника и ее применение. № 7(1991) : Инструментарий программиста - оболочка PC Tools" / Ред. Б. М. Васильев, 1991. - 46 с. - Текст : непосредственный. Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный. Генератор Отчетов Лабораторных Исследований Атомной Абсорбции. - 60 c. - Текст : непосредственный. Труды Института системного программирования. Т. 8Ч. 1, 2004. - 227 с. - Текст : непосредственный. Труды Института системного программирования. Т. 8Ч. 2, 2004. - 214 с. - Текст : непосредственный. Мерзляков Ю.И. Программное обеспечение процессора АП-32. 4. Консольная подсистема. Библиотекарь / Ю. И. Мерзляков, 1990. - 28 с. - Текст : непосредственный. Утилиты РСХ.Пакет разработчика графических программ, 1994. - 279 c. - Текст : непосредственный. Докучаев А.А. Исследование конфигурации компьютера с помощью утилиты SYSINFO / А. А. Докучаев, 1995. - 26 c. - Текст : непосредственный. Козловский Е.А. Компьютер для носорога. Кн. 5 : Norton Utilities 7.0Ч. 1а. Общие сведения и Одиннадцать Самых Необходимых Полезняшек, 1995. - 384 с. - Текст : непосредственный. Козловский Е.А. Norton Commander 4.0. Руководство к действию для крутых,всмятку и почти сырых юзеров / Е. А. Козловский, 1993. - 143 c. - Текст : непосредственный. Показать все результаты Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный. Тихомиров В.А. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / В. А. Тихомиров, 2009. - 19 с. - Текст : непосредственный. Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. В. Кузьмин, 2011. - 43 с. - Текст : непосредственный. Суркова А.С. Концептуальный анализ, принципы моделирования и оптимизация алгоритмов синтеза текстовых структур / А. С. Суркова, 2017. - 39 с. - Текст : непосредственный. Мордань В.О. Методы верификации программ на основе композиции задач достижимости / В. О. Мордань, 2017. - 26 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ермаков А.Д. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации / А. Д. Ермаков, 2017. - 20 с. - Текст : непосредственный. Морозов С.А. Метод оценки и средства улучшения качества программно-аппаратных комплексов центров хранения и обработки данных / С. А. Морозов, 2018. - 17 с. - Текст : непосредственный. Захаров И.С. Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ : 05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. С. Захаров, 2019. - 25 с. - Текст : непосредственный. Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
