Полное описание
| Лицевая сторона карточки | Обратная сторона карточки |
Вострикова З.П. Сервисная программа 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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽