Полное описание
> Symposium on assessment of quality software development tools (2 ; 1992 ; New Orleans,La). Proceedings of the 2nd symposium on ...,held in New Orleans(La),May 27-29,1992 / Symposium on assessment of quality software development tools (2 ; 1992 ; New Orleans,La) ; Ed. E. Nahouraii. - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1992. - VIII,320 p. p. : ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 92THO415-0). - ISBN 0-8186-2620-8. - Текст : непосредственный. Библиогр.в конце статей.
ГРНТИ УДК 50.41 004.415.5(063) 50.01.13
Рубрики: Программное обеспечение ЭВМ -- Качество -- Съезды и конференции
Доп. точки доступа: Nahouraii, E.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/6736/92THO415-0)>
Шифр в сводном ЭК: 0936c5bfdfa1dd90184bd88c3c7501c7
Cameron J.R. JSP and JSD : сборник научных трудов / J. R. Cameron, 1989. - X,526 p. p. - Текст : непосредственный. Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный. Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный. Artificial neural networks : сборник научных трудов / Ed. N. Morgan, 1990. - VIII,130 p. p. - Текст : непосредственный. Prieto-Diaz R. Domain analysis and software systems modeling / R. Prieto-Diaz, G. Arango, 1991. - VIII,299 p. p. - Текст : непосредственный. Matley B.G. National computer policies / B. G. Matley, T. A. McDannold, 1987. - XVII,172 p. p. - Текст : непосредственный. Artificial neural networks:concepts and theory / Сост.Compl.: P. Mehra, B. W. Wah, 1992. - XI,667 p. p. - Текст : непосредственный. Nearest neighbor (NN) norms:NN patern classification techniques / Ed. B. V. Dasarathy, 1991. - XII,447 p. p. - Текст : непосредственный. Multiple-valued logic in VLSI design / Ed. J. T. Butler, 1991. - VII,120 p. p. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный. AUTOTESTCON'87 : материалы временных коллективов, 1987. - XVII,434 p. p. - Текст : непосредственный. Engineering leadership in the 90's (from Al to Jz) : материалы временных коллективов, 1988. - 224 p. - Текст : непосредственный. New frontiers in testing : материалы временных коллективов, 1988. - xxx,1005 p. p. - Текст : непосредственный. Black U.X. X.25 and related protocols / U. X. Black, 1991. - 287 p. - Текст : непосредственный. Hard real-time systems / Ed.: J. A. Stankovic, K. Ramamritham, 1988. - VI,618 p. p. - Текст : непосредственный. Database management : сборник научных трудов / 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 : сборник научных трудов / Comp.: M. D. Abrams, H. J. Podell, 1987. - VII,430 p. p. - Текст : непосредственный. Tutorial : сборник научных трудов / Ed. K. I. Joy, 1988. - VII,368 p. p. - Текст : непосредственный. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Информационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Показать все результаты Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный. Automatic verification methods for finite state systems : Proc.of the intern.workshop on automatic verification methods for finite state systems, June 12-14, 1989, Grenoble / Ed.: J.Sifakis, 1990. - VII,382 p. - Текст : непосредственный. Leveraging applications of formal methods, verification and validation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Cousot R. Verification, model checking, and abstract interpretation / R. Cousot, 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽