Приложение
для AndroidПолное описание
Software-Zuverlassigkeit : Grundlagen,konstruktive Massnahmen,Nachweisverfahren / Hrsg.vom VDI-Gemeinschaftsausschuss Industrielle Systemtechnik. - Dusseldorf : VDI Verl., 1993. - XIII,302 S. мкф. : Ill. - ISBN 3-18-401185-2 : Б. ц. - Текст : непосредственный.
Библиогр.:с.287-294.Указ.:с.295-302
| ГРНТИ | УДК | |
| 50.41 | 004.4.052 |
Рубрики:
Математическое обеспечение ЭВМ -- Надежность
Имеются экземпляры в отделах: всего 2 : (2)
Свободны: (2)
Программное обеспечение 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 с. - Текст : непосредственный.Dependable computing for critical applications 2 : 2nd intern.working conf.on dependable computing for critical applications,held in Tucson(Az) on Febr.18-20,1991 / Ed.: J. F. Meyer, R. D. Schlichting, 1992. - XIII,437 p. p. - Текст : непосредственный.1991 International symposium on software reliability engineering,May 17-18,1991,Austin(Tx) / ISSRE'91, 1991. - X,242 p. p. - Текст : непосредственный.3rd international symposium on software reliability engineering,Oct.7-10,1992,Research Trangle Park(NC) / ISSRE'92, 1992. - XI,369 p. p. - Текст : непосредственный.Software-Zuverlassigkeit : Grundlagen,konstruktive Massnahmen,Nachweisverfahren / Hrsg.vom VDI-Gemeinschaftsausschuss Industrielle Systemtechnik, 1993. - XIII,302 S. мкф.Proceedings of national workshop on software reliability engineering,Nov.23-25 1992,Bombay / Bhabha atomic research centre, 1992. - Pag.var. - Текст : непосредственный.Software reliability models:Theoretical developments,evaluation and applications / сост.ed. Y. K. Malaiya, сост.ed. P. K. Srimani, 1991. - 122 p. - Текст : непосредственный.Пальчун Б.П. Оценка надежности программного обеспечения / Б.П.Пальчун,Р.М.Юсупов, 1994. - 84 c. - Текст : непосредственный.Handbook of software reliability engineering / сост.ed. M. R. Lyu, 1996. - XXV,850 p. p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Отказоустойчивость и живучесть аппаратуры и программного обеспечения вычислительных машин, систем и сетей в процессе их разработки и эксплуатации : Материалы краткосрочного семинара, 23-24 декабря / Ленингр. дом науч.-техн. пропаганды, 1991. - 86 с. - Текст : непосредственный.Barendregt L.G. analytical solution to the consistency problem for the Littlewood model in software reliability / L.G.Barendregt,Van Pul M.C., 1991. - 24 p. - Текст : непосредственный. Deursen A.van leap year problem / A.van Deursen, 1998. - 7 p. - Текст : непосредственный. Van Pul M.C.J. Simulations on the Jelinski-Moranda model of software reliability / M.C.J.Van Pul, 1991. - 15 p. - Текст : непосредственный.Насыпный В.В. Решение "Проблемы-2000" на основе стохастической информационной технологии / В.В.Насыпный, 1999. - 7 с. - Текст : непосредственный.Технологические решения Проблемы 2000 года / Г.П.Гинкул,С.Ю.Соловьева,А.Н.Сотников,Б.М.Шабанов;Под ред.Г.И.Савина, 1999. - 234 с. - Текст : непосредственный.Дрожжинов В.И. Непрерывность бизнеса и проблема 2000 года / В.И.Дрожжинов,Г.Е.Моисеенко, 1999. - 86 с. - Текст : непосредственный.Проблема 2000 : Справ. кн. руководителя / А.В.Волокитин,А.П.Маношкин,А.В.Макешин и др.;Под общ. ред. А.Е.Крупнова, 1999. - 270 с. - Текст : непосредственный.
Показать все результаты