Приложение
для AndroidПолное описание
Организационно-методические основы решения "Проблемы 2000" на федеральном и региональном уровнях : сб. / Редкол.:А.В.Волокитин (гл.ред.) и др. - М. : [б. и.], 1999. - 170 с. : ил. - (Информационные технологии территориального управления / Всерос.НИИ проблем вычислит.техники и информатизации ; т.21). - 200 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.4.052 |
Рубрики:
Программное обеспечение ЭВМ -- Надежность
Кл.слова (ненормированные): математическое обеспечение -- эвм -- надежность
Доп. точки доступа:
Волокитин, А.В.\ред.\
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Телекоммуникационная программно-техническая и организационно-экономическая среда информатизации региона : Темат.сб., 1998. - 146 с. - Текст : непосредственный.Информационное законодательство - правовая база информационных процессов и информатизации : Темат.сб., 1997. - 140 с. - Текст : непосредственный.Сертификации средств и систем в сфере информатизации : Основ.положенияТемат.сб., 1996. - 139 с. - Текст : непосредственный.Территориальные центры информатизации : Опыт Чуваш.Респ.Темат.сб., 1995. - 148 с. - Текст : непосредственный.Организационно-методические основы решения "Проблемы 2000" на федеральном и региональном уровнях : Сб. / Редкол.:А.В.Волокитин (гл.ред.) и др., 1999. - 170 с. - Текст : непосредственный.Опыт решения "Проблемы 2000" на региональном уровне : Сб. / Редкол.:А.В.Волокитин (гл.ред.) и др., 1999. - 143 с. - Текст : непосредственный.Основные направления и результаты реализации государственной информационной политики в регионе. Опыт Республики Коми, 2000. - 152 с. - Текст : непосредственный.Формирование единого информационного пространства региона. (Опыт Ханты-Мансийского автономного округа), 2002. - 172 с. - Текст : непосредственный.
Программное обеспечение 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 с. - Текст : непосредственный.
Показать все результатыSoftware reliability models:Theoretical developments,evaluation and applications / сост.ed. Y. K. Malaiya, сост.ed. P. K. Srimani, 1991. - 122 p. - Текст : непосредственный.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. - Текст : непосредственный. Van Pul M.C.J. Software reliability and the bootstrap / M.C.J.Van Pul, 1991. - 8 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 с. - Текст : непосредственный.Мысин Г. Как решить проблему 2000 года / Г.Мысин, 1999. - 192 с. - Текст : непосредственный.Кирин С.В. Проблема 2000. Что нужно знать? / С.В.Кирин, 1999. - 39 с. - Текст : непосредственный.Технологические решения проблемы 2000 года / Г.П.Гинкул,С.Ю.Соловьев,А.Н.Сотников,Б.М.Шабанов, 1999. - 194 с. - Текст : непосредственный.Гинкул Г.П. Проблема 2000 года. Технологические решения / Г. П. Гинкул, С. Ю. Соловьев, А. Н. Сотников, 1999. - 299 с. - Текст : непосредственный.Вопросы подготовки автоматизированных систем к 2000 году / Г.П.Гинкул,С.Ю.Соловьев,А.Н.Сотников,Б.М.Шабанов;Под ред. Г.И.Савина, 1999. - 171 с. - Текст : непосредственный.Опыт решения "Проблемы 2000" в регионах Российской Федерации : Докл.Межрегион науч.-практ.совещ.ассоц."Сиб.соглашение",13 апр.1999 г.,Томск / "Сибирское соглашение", межрегиональная ассоциация (Барнаул), 1999. - 78 с. - Текст : непосредственный.Lawrence J.D. Software reliability engineering : Mfiche / J.D.Lawrence, 1988. - 14 мкфш. - Текст : непосредственный.Dunham J.R. experiment in software reliability additional analyses using data from automated replications : Mfiche(1) / J.R.Dunham,L.A.Lauterbach, 1988. - 72 мкфш. - Текст : непосредственный. Надежность программного обеспечения : Учеб. пособие / Б.Н.Балясников,Ю.Г.Гужва,А.В.Никандров,Р.И.Полонников, 1991. - 63 с. - Текст : непосредственный.Maier T. Techniken und Werkzeuge fur die Gewahrleistubg funktionaler Sicherheit von Software in technischen Systemen : Diss. / T.Maier, 2000. - 129 S. - Текст : непосредственный.Организационно-методические основы решения "Проблемы 2000" на федеральном и региональном уровнях : Сб. / Редкол.:А.В.Волокитин (гл.ред.) и др., 1999. - 170 с. - Текст : непосредственный.Опыт решения "Проблемы 2000" на региональном уровне : Сб. / Редкол.:А.В.Волокитин (гл.ред.) и др., 1999. - 143 с. - Текст : непосредственный.
Показать все результатыГордиенко А.В. Математические модели надежности программного обеспечения функционального типа : Автореферат диссертации на соискание ученой степени канд. техн. наук: 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽