Полное описание
> Методы повышения качества программного обеспечения : материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток). - Владивосток : [б. и.], 1990. - 78 с. - 100 экз. - Текст : непосредственный. Библиогр. в конце докл.В надзаг.: Дальневост. отд-ние АН СССР, Комис. по систем. мат. обеспечению Отд-ния информатики, вычисл. техники и автоматизации АН СССР, РГ по яз. и системам программир., Ин-т автоматики и процессов управления ДВО АН СССР
ГРНТИ УДК 50.41 004.415.5(063)
Рубрики: Программное обеспечение ЭВМ -- Качество -- Съезды и конференции
Кл.слова (ненормированные): КАЧЕСТВО -- КОНФЕРЕНЦИЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- СЪЕЗД -- ЭВМ
Доп. точки доступа: Институт автоматики и процессов упр. (Владивосток)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д7-90/74857)>
Шифр в сводном ЭК: b925d9d217363daaa6e8c32e6f108d77
Проблемы механики сплошной среды : Сб. науч. работ / Рос. АН, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1996. - 243 с. - Текст : непосредственный. Научные и инновационные подходы к решению проблемы предупреждения аварийных ситуаций на объектах ответственного назначения : сб. тр. обществ. слушаний (Москва, Обществ. палата РФ, 30 нояб. 2012 г.) / Институт автоматики и процессов упр. (Владивосток) Дальневост. отд-ния Рос. акад. наук, 2013. - 109 с. - Текст : непосредственный. Теория и практика систем с базами знаний : Сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Ин-т автоматики и процессов упр., 1994. - 246 c. - Текст : непосредственный. Проблемы механики сплошных сред и элементов конструкций : Сб. науч. тр. / Рос.АН.Дальневост.отд-ние,Ин-т автоматики и процессов упр., 1998. - 244 с. - Текст : непосредственный. Успехи механики сплошных сред : к 70-летию академика Владимира Алексеевича Левина: сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Институт автоматики и процессов упр., 2009. - 821 с. - Текст : непосредственный. Успехи механики сплошных сред : тезисы всерос. конф., приуроченной к 70-летию акад. В. А. Левина, 29 сентября - 5 октября 2009 г., Владивосток / Институт автоматики и процессов упр. (Владивосток), 2009. - 154 с. - Текст : непосредственный. Автоматизация проектирования и параметрический синтез технических систем : Сб. науч. трудов / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1990. - 186 с. - Текст : непосредственный. Прикладные задачи механики деформируемых сред : Сб. науч. тр. / АН СССР, Дальневост. отд-ние; Ин-т автоматики и процессов упр, 1991. - 294 с. - Текст : непосредственный. Вениамин Петрович Мясников, 1936-2004 : Библиогр. указ. / Рос. АН. Дальневост. отд-ние. Ин-т автоматики и процессов упр., 2004. - 49 с. - Текст : непосредственный. Математические модели и методы механики сплошных сред : к 60-летию доктора физико-математических наук, профессора Анатолия Александровича Буренина: сб. науч. тр. / Рос. АН. Дальневост. отд-ние. Институт автоматики и и процессов упр., 2007. - 272 с. - Текст : непосредственный. Методы и средства создания и исследования экспертных систем : Сб. науч. тр. / Институт автоматики и процессов упр., 1991. - 206 с. - Текст : непосредственный. Обработка информации и математическое моделирование в океанологических исследованиях : Сб. науч. тр. / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1989. - 236 с. - Текст : непосредственный. Методы повышения качества программного обеспечения : Материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток), 1990. - 78 с. - Текст : непосредственный. Методы и средства проектирования изделий вычислительной техники : Сб. науч. тр. / АН СССР, Дальневост. отд-ние, Ин-т автоматики и процессов упр., 1989. - 179 с. - Текст : непосредственный. Математическое моделирование в популяционных исследованиях : Сб. науч. тр. / АН.СССР.Дальневост.отд-ние.Ин-т автоматики и процессов упр, 1990. - 142 с. - Текст : непосредственный. Фундаментальные и прикладные вопросы механики и процессов управления : всерос. науч. конф., посвящен. 75-летию со дня рождения В.П. Мясникова, 11-17 сентября 2011 г. / Институт автоматики и процессов упр. (Владивосток), 2011. - 111 с. - Текст : непосредственный. Баженова И.Ю. 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 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты 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. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽