Приложение
для AndroidПолное описание
Бондарев, М. Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев. - Тверь : [б. и.], 1991. - 17 с. : ил. - Текст : непосредственный.
В надзаг.: Твер.политехн.ин-т. Библиогр.: с. 16-17(5назв.).
| ГРНТИ | УДК | |
| 50.41.17 | 004.415.5(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.Программа связи для компьютеров IBM PC и совместимых с ними : Сжатое руководство пользователя. Версия 3.5Х / ВЦП. - 63 с. - Текст : непосредственный.Фирма Онлайн Софтвеа Интернэшнл. Семейство программного обеспечения Омнигад / ВЦП. - 26 c. - Текст : непосредственный.Система свободного программируемого управления на базе микро-ЭВМ / ВЦП. - 128 c. - Текст : непосредственный.Описание команд интерактивной лабораторной системы / ВЦП. - 128 с. - Текст : непосредственный.Языково-ориентированный редактор VAX : Руководство по работе с языком VAXELN-Паскаль / ВЦП. - 41 c. - Текст : непосредственный.Джокер. Система оценки и классификации. Верcия 2.0 / ВЦП. - 73 c. - Текст : непосредственный.Хусейн Мухсен.Исследование и разработка мобильного программного обеспечения для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Хусейн Мухсен, 1991. - 16 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Липецкая Н.Д. Исследование и разработка интеллектуальных сервисных подсистем высокопроизводительных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. Д. Липецкая, 1991. - 16 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Тарановский М.Р. Теоретические и прикладные аспекты генерации программ обработки данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / М. Р. Тарановский, 1991. - 16 с. - Текст : непосредственный.Терентьев И.В. Методы синтеза алгоритмов пространственно-распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / И. В. Терентьев, 1992. - 36 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация программ в процессе трансляции : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. А. Кириенко, 1992. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Леохин Ю.Л. Методы и аппаратно-программные средства комплексной динамической отладки для систем управления реального времени : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05;05.13.13 / Ю. Л. Леохин, 1992. - 20 с. - Текст : непосредственный.
Показать все результатыБондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Скворцов С.А. Алгоритмы оценки качества функционирования программного обеспечения вычислительных систем реального времени на основе моделей нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. А. Скворцов, 1991. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Мадан В.И. Исследование и анализ количественных характеристик качества программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. И. Мадан, 1992. - 18 с. - Текст : непосредственный.Коган Б.И. Измерительные языковые процессоры для исследования и оценки качества программных средств : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11 / Б. И. Коган, 1993. - 31 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.Шубинский М.И. Развитие методов оценки и прогноза качества и надежности программного обеспечения на основе нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Шубинский, 1996. - 18 с. - Текст : непосредственный.Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный.Ермолаева Е.К. Разработка адаптивной экспертной системы сравнительного анализа алгоритмов и программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. К. Ермолаева, 2000. - 28 с. - Текст : непосредственный.Остроухова С.Н. Разработка и исследование измерительных процессоров алгоритмических языков программирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Н. Остроухова, 2000. - 17 с. - Текст : непосредственный.Белов В.В. Технология комплексной оценки качества интеллектуальных программных продуктов двойного применения в процессе сертификационных испытаний : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / В. В. Белов , 2000. - 25 с. - Текст : непосредственный.Таганов Р.А. Методы и средства поддержки анализа и мониторинга рисков качества проекта программных изделий при нечетких данных для интегрированных CASE : автореф. дис. .. канд.техн. наук : 05.13.12 / Р. А. Таганов, 2002. - 23 с. - Текст : непосредственный.Царьков Д.В. Верификация распределенных программ методом проверки на модели : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Д. В. Царьков, 2002. - 21 с. - Текст : непосредственный.Нешта Е.П. Классификация и оценка качества программных средств с использованием базы характеристик качества : автореф. дис. .. канд. техн. наук : 05.13.01 / Е. П. Нешта, 2003. - 24 с. - Текст : непосредственный.Liedtke Th. Rechnergestutzte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte : Diss. / Th.Liedtke, 1993. - XIV,153 S. S. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme : Diss. / W.Reissenberger, 1998. - 114 S. - Текст : непосредственный.Козюра В.Е. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / В. Е. Козюра, 2004. - 18 с. - Текст : непосредственный.Разработка и исследование информационных систем для оценки характеристик потребительского качества программных продуктов, построенных с использованием СУБД MS Access, 1C Предприятие, ORACLE : автореф. дис. .. канд. экон. наук : 08.00.13 / М. А. Кривошеева, 2004. - 23 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽