Приложение
для AndroidПолное описание
Методы повышения качества программного обеспечения : материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток). - Владивосток : [б. и.], 1990. - 78 с. - 100 экз. - Б. ц. - Текст : непосредственный.
Библиогр. в конце докл.В надзаг.: Дальневост. отд-ние АН СССР, Комис. по систем. мат. обеспечению Отд-ния информатики, вычисл. техники и автоматизации АН СССР, РГ по яз. и системам программир., Ин-т автоматики и процессов управления ДВО АН СССР
| ГРНТИ | УДК | |
| 50.41 | 004.415.5(062) |
Рубрики:
Программное обеспечение ЭВМ -- Качество -- Съезды и конференции
Кл.слова (ненормированные): программное обеспечение -- эвм -- качество -- съезд -- конференция
Доп. точки доступа:
Институт автоматики и процессов упр. (Владивосток)
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Теория и практика систем с базами знаний : Сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Ин-т автоматики и процессов упр., 1994. - 246 c. - Текст : непосредственный.Проблемы механики сплошной среды : Сб. науч. работ / Рос. АН, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1996. - 243 с. - Текст : непосредственный.Автоматизация проектирования и параметрический синтез технических систем : Сб. науч. трудов / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1990. - 186 с. - Текст : непосредственный.Прикладные задачи механики деформируемых сред : Сб. науч. тр. / АН СССР, Дальневост. отд-ние; Ин-т автоматики и процессов упр, 1991. - 294 с. - Текст : непосредственный.Математическое моделирование в популяционных исследованиях : Сб. науч. тр. / АН.СССР.Дальневост.отд-ние.Ин-т автоматики и процессов упр, 1990. - 142 с. - Текст : непосредственный.Проблемы механики сплошных сред и элементов конструкций : Сб. науч. тр. / Рос.АН.Дальневост.отд-ние,Ин-т автоматики и процессов упр., 1998. - 244 с. - Текст : непосредственный.Методы и средства создания и исследования экспертных систем : Сб. науч. тр. / Институт автоматики и процессов упр., 1991. - 206 с. - Текст : непосредственный.Обработка информации и математическое моделирование в океанологических исследованиях : Сб. науч. тр. / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1989. - 236 с. - Текст : непосредственный.Методы повышения качества программного обеспечения : Материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток), 1990. - 78 с. - Текст : непосредственный.Методы и средства проектирования изделий вычислительной техники : Сб. науч. тр. / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1989. - 179 с. - Текст : непосредственный.Вениамин Петрович Мясников, 1936-2004 : Библиогр. указ. / Рос. АН. Дальневост. отд-ние. Ин-т автоматики и процессов упр., 2004. - 49 с. - Текст : непосредственный.Математические модели и методы механики сплошных сред : к 60-летию доктора физико-математических наук, профессора Анатолия Александровича Буренина: сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Институт автоматики и и процессов упр., 2007. - 272 с. - Текст : непосредственный.Успехи механики сплошных сред : к 70-летию академика Владимира Алексеевича Левина: сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Институт автоматики и процессов упр., 2009. - 821 с. - Текст : непосредственный.Успехи механики сплошных сред : тезисы всерос. конф., приуроченной к 70-летию акад. В. А. Левина, 29 сентября - 5 октября 2009 г., Владивосток / Институт автоматики и процессов упр. (Владивосток), 2009. - 154 с. - Текст : непосредственный.Фундаментальные и прикладные вопросы механики и процессов управления : всерос. науч. конф., посвящен. 75-летию со дня рождения В.П. Мясникова, 11-17 сентября 2011 г. / Институт автоматики и процессов упр. (Владивосток), 2011. - 111 с. - Текст : непосредственный.Научные и инновационные подходы к решению проблемы предупреждения аварийных ситуаций на объектах ответственного назначения : сб. тр. обществ. слушаний (Москва, Обществ. палата РФ, 30 нояб. 2012 г.) / Институт автоматики и процессов упр. (Владивосток) Дальневост. отд-ния Рос. акад. наук, 2013. - 109 с. - Текст : непосредственный.
Программное обеспечение 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 с. - Текст : непосредственный.
Показать все результаты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) , 1992. - VIII,320 p. p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Types for proofs and programs : Intern.workshop TYPES'93,Nijmegen,The Netherlands,May 24-28 1993:Sel.papers / TYPES'93, 1994. - 383 p. - Текст : непосредственный.Software certification : Proc.of the Centre for software reliability conf., Gatwick, 13-16 Sept.1988 / сост.ed. B. De Neumann, 1989. - IX,170 p. p. - Текст : непосредственный.Approwing software products : Proc. of the IFIP WG 5.4 working conf. on approving software products (ASP-90) Garmisch-Partenkirchen, 17-19 Sept. 1990 / ASP-90, 1990. - IX, 353 p. 353 p. - Текст : непосредственный.International conference on product focused software process improvement,Oulu,June 22-24,1999 / International conference on product focused software process improvement (1999 ; Oulu) , 1999. - 662,4 p. p. - Текст : непосредственный.SPIN model checking and software verification : 7th Intern. SPIN workshop, Stanford(Ca), Aug.30 - Sept.1, 2000Proc. / Ed. K. Havelund, 2000. - X,342 p. p. - Текст : непосредственный.Static analysis : 7th intern. symp., SAS 2000, Santa Barbara(Ca), USA, June 29-July 1, 2000Proc. / SAS 2000, 2000. - VIII,432 . . - Текст : непосредственный.Product focused software process improvement : Second intern. conf., PROFES 2000, Oulu, Finland, June 20-22, 2000Proc. / PROFES 2000, 2000. - XI,426 p. p. - Текст : непосредственный.Всесоюзный научно-технический семинар "Качество программных средств" : Тез. докл. / "Качество программных средств",всесоюзный науч.-технический семинар (1990 ; Калинин) , 1990. - 92 с. - Текст : непосредственный.Методы повышения качества программного обеспечения : Материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток), 1990. - 78 с. - Текст : непосредственный.Proceedings of the second Asia-pacific conference on quality software, Hong Kong, Dec.10-11, 2001 / APAQS 2001, 2001. - XV, 446 p. 446 p. - Текст : непосредственный.2001 IEEE international symposium on performance analysis of systems and software, Tucson(Az), Nov.4-6, 2001 / ISPASS 2001, 2001. - X, 185 p. 185 p. - Текст : непосредственный.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. - Текст : непосредственный.Hardware and software, verification and testing : second International Haifa verification conference, HVC 2006, Haifa, Israel, October 23-26, 2006: revised selected papers / ed. E. Bin [et al.], 2007 r=on-line.Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007: proceedings / ed.: B. Cook, A. Podelski, 2007 r=on-line.Requirements engineering: foundation for software quality : 13th International working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007: proceedings / ed. P. Sawyer [et al.], 2007 r=on-line.Automated technology for verification and analysis : 5th International symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007: proceedings / ed. K. Namjoshi [et al.], 2007 r=on-line.Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007: revised selected papers / ed. M. Miculan [et al.], 2008 r=on-line.Requirements engineering: foundation for software quality : 14th International working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008: proceedings / ed.: B. Paech, C. Rolland, 2008 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽