Приложение
для AndroidПолное описание
Абрамова, Н. А. Методология повышения надежности проектирования программно-технических средств на основе формализации знаний : автореф. дис. ... д-ра техн. наук : 05.13.11 / Н. А. Абрамова. - М. : [б. и.], 2002. - 52 с. : ил. - Текст : непосредственный.
Библиогр.: с. 50-52(27 назв.)
| ГРНТИ | УДК | |
| 50.41 | 004.4.052(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Программное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыГордиенко А.В. Математические модели надежности программного обеспечения функционального типа : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / А. В. Гордиенко, 2000. - 18 с. - Текст : непосредственный.Сарайкин А.В. Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / А. В. Сарайкин, 2000. - 19 с. - Текст : непосредственный.Абрамова Н.А. Методология повышения надежности проектирования программно-технических средств на основе формализации знаний : автореф. дис. .. д-ра техн. наук : 05.13.11 / Н. А. Абрамова, 2002. - 52 с. - Текст : непосредственный.Maier T. Techniken und Werkzeuge fur die Gewahrleistubg funktionaler Sicherheit von Software in technischen Systemen : Diss. / T.Maier, 2000. - 129 S. - Текст : непосредственный.Тензорный метод анализа надежности программного обеспечения систем управления и обработки информации : автореф. дис. .. канд. техн. наук : 05.13.01 / В. В. Золотухин, 2006. - 20 с. - Текст : непосредственный.Разработка математических и имитационных моделей надежности программного обеспечения систем реального времени : автореф. дис. .. канд. техн. наук : 05.13.11 / В. А. Лисс, 2006. - 16 с. - Текст : непосредственный.Колесов К.В. Тензорный метод оценки надежности программного обеспечения : автореф. дис. .. канд. техн. наук : 05.13.01, 05.13.11 / К. В. Колесов, 2009. - 23 с. - Текст : непосредственный.Затенко С.И. Разработка математических моделей надежности прикладного программного обеспечения при ограниченной статистической информации : автореф. дис. .. канд. техн. наук : 05.13.01 / С. И. Затенко, 2009. - 20 с. - Текст : непосредственный.Повышение эффективности функционирования вычислительных систем на основе аналитических методов оценки влияния сбоев программного обеспечения : автореф. дис. .. канд. физ.-мат. наук : 05.13.01 / К. К. Ключников, 2011. - 20 с. - Текст : непосредственный.Система анализа архитектурной надежности программного обеспечения : автореф. дис. .. канд. техн. наук : 05.13.01, 05.13.11 / А. В. Новой, 2011. - 21 с. - Текст : непосредственный.Модели и методы оценки надежности специализированного программного обеспечения систем обработки информации : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Титов, 2013. - 21 с. - Текст : непосредственный.Тензорный метод оценки надежности программного обеспечения : автореф. дис. .. канд. техн. наук : 05.13.01, 05.13.11 / К. В. Колесов, 2009. - 22 с. - Текст : непосредственный.Модели и алгоритмы анализа и прогнозирования надежности использования программного обеспечения информационных систем в условиях конфликтных взаимодействий : автореф. дис. .. канд. техн. наук : 05.13.17 / А. С. Вялых, 2014. - 16 с.Отладка и верификация функционально-потоковых параллельных программ : автореф. дис. .. канд. техн. наук : 05.13.11 / Ю. В. Удалова, 2015. - 22 с.Панфилова Т.А. Стохастические адаптивные алгоритмы повышения надежности программного обеспечения : автореф. дис. .. канд. техн. наук : 05.13.01 / Т. А. Панфилова, 2017. - 15 с.
Заказ фрагмента документа ₽