Полное описание
>
International symposium on software reliability engineering (1991 ; Austin,Tx.). 1991 International symposium on software reliability engineering,May 17-18,1991,Austin(Tx) / ISSRE'91. - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1991. - X,242 p. p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 91THO336-5). - ISBN 0-8186-2143-5 : 80000 р. - Текст : непосредственный.
Библиогр. в конце глав.Указ.:с.242
| ГРНТИ | УДК | |
| 50.41 | 004.4.052(063) | |
| 50.01.13 |
Рубрики:
Математическое обеспечение ЭВМ -- Надежность -- Съезды и конференции
>
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Digest of papers of the 10th IEEE symp.on mass storage systems,May 7-10,1990,Monterey(Ca) / Symposium on mass storage systems (10 ; 1990 ; Monterey,Ca) , 1990. - XII,172 p. мкф. - Текст : непосредственный.Proceedings of the 1990 IEEE international conference on computer design VLSI in computers and processors,Sept.17-19,Cambridge / ICCD'90, 1990. - XX,474 p. мкф. - Текст : непосредственный.IEEE international conference on systems engineering ,New york ,Aug.9-11,1990 / International conference on systems engineering (1990 ; New York) , 1990. - 640 мкф. - Текст : непосредственный.Proceedings of the 17th annual international symposium on computer architecture,May 28-31,1990,Seattle(Wa) / International symposium on computer architecture (17 ; 1990 ; Seattle,Wa) , 1990. - XV,378 p. мкф. - Текст : непосредственный.Black U.X. X.25 and related protocols / U.X.Black, 1991. - 287 p. - Текст : непосредственный.Hard real-time systems / ed. J. A. Stankovic, ed. K. Ramamritham, 1988. - VI,618 p. p. - Текст : непосредственный.Database management : Tutorial / ed. J. A. Larson, 1987. - VI,440 p. p. - Текст : непосредственный.Modeling and control of automated manufacturing systems / сост.ed. A. A. Desrochers, 1990. - VIII,373 p. p. - Текст : непосредственный.Computer and network security : Tutorial / comp. M. D. Abrams, comp. H. J. Podell, 1987. - VII,430 p. p. - Текст : непосредственный.Tutorial on advanced microprocessors and high-level language computer architecture / сост.ed. V. Milutinovic, 1986. - X,597 p. p. - Текст : непосредственный.Tutorial:Fault tolerant computing / ed. V. P. Nelson, ed. B. D. Carroll, 1987. - VII,419 p. p. - Текст : непосредственный.Tutorial programing productivity : Issues for the eighties / сост.ed. C. Jones, 1986. - XI,462 p. p. - Текст : непосредственный.Tutorial:computer communications:architectures,protocols,and standards / ed. W. Stallings, 1987. - VII,439 p. p. - Текст : непосредственный.Computers for artificial intelligence applications : Tutorial / ed. B. Wah, ed. G. -J. Li, 1986. - VIII,648 p. p. - Текст : непосредственный.Tutorial:Digital private branch exchanges(PBXs) / ed. E. R. Coover, 1989. - IX,381 p. p. - Текст : непосредственный.Tutorial:distributed-software engineering / ed. S. M. Shatz, ed. J. -P. Wang, 1989. - IX,279 p. p. - Текст : непосредственный.Tutorial : Computer graphics:image synthesis / ed. K. I. Joy, 1988. - VII,368 p. p. - Текст : непосредственный.Huck J.C. Analyzing computer architectures / J.C.Huck,M.J.Flynn, 1989. - XIII,188 p. p. - Текст : непосредственный.Tutorial:gallium arsende computer design / ed. V. M. Milutinovi@wc, ed. D. A. Fura, 1988. - VI,354 p. p. - Текст : непосредственный.Distributed computing systems : Concepts and structures / ed. A. L. Ananda, ed. B. Srinivasan, 1991. - VII,404 p. p. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение 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 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Proceedings of national workshop on software reliability engineering,Nov.23-25 1992,Bombay / Bhabha atomic research centre, 1992. - Pag.var. - Текст : непосредственный.Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe 2000 intern.conf., Potsdam, June 26-30: Proc. / Ed.: H. B. Keller, E. Plodereder, 2000. - 304 p. - Текст : непосредственный.Надежность ЭВМ (аппаратуры и программного обеспечения), вычислительных сетей в процессе их разработки и эксплуатации : Материалы краткосроч. семинара, 25-26 сент. / Ленинградский дом науч.-технической пропаганды, 1990. - 87 с. - Текст : непосредственный.Proceedings: 2001 pacific rim international symposium on dependable computing, 17-19 Dec., 2001, Seoul, Korea / Spons. by IEEE computer soc. techn. comm. on fault-tolerant computing Sungkyunkwan univ., Korea, 2001. - XIV,384 p. p. - Текст : непосредственный.Reliable systems on unreliable networked platforms : 12th Monterey workshop 2005, Laguna Beach, Ca, USA, September 22-24, 2005: revised selected papers / ed.: F. Kordon, J. Sztipanovits, 2007 r=on-line.Reliable software technologies- ada-europe 2008 : 13th Ada-Europe International conference on reliable software technologies, Venice, Italy, June 16-20, 2008: proceedings / ed.: F. Kordon, T. Vardanega, 2008 r=on-line.Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe international conference on reliable software technologies, York, UK, June 20-24, 2005: proceedings / eds. T. Vardanega, A. Wellings, 2005 r=on-line.Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies, Porto, Portugal, June 5-9, 2006 : proceedings / ed. L. Pinho, 2006 r=on-line.Reliable software technologies - Ada Europe 2007 : 12th ada-europe international conference on reliable software technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / eds.: N. Abdennahder, F. Kordon, 2007 r=on-line.Engineering secure software and systems : first international symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009 : proceedings / ed. F. Massacci [et al.], 2009 r=on-line.Reliable software technologies - Ada-Europe 2009 : 14th Ada-europe international conference, Brest, France, June 8-12, 2009 : proceedings / eds. D. Hutchison [et al.], 2009 r=on-line.Lecture notes in computer science / ed. G. Goos [et al.]. 6542 : Engineering secure software and systems : third intern. symp., ESSoS 2011, Madrid, Spain, Febr. 9-10, 2011: proc. / International symposium on engineering secure software and systems (3; 2011; Madrid), 2011. - XI, 273 p. - Текст : непосредственный.
Заказ фрагмента документа ₽