Поисковый запрос: (<.>U=004.415.2(043)<.>) |
Общее количество найденных документов : 18
Показаны документы с 1 по 18 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-8572
Жаков, В. И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков. - Л., 1991. - 16 с В надзаг.: Киев.политехн.ин-т. Библиогр.: с. 16(20назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-14696
Шербекова, У. А. Программно-испытательный стенд для создания эффективных программ решения жестких задач [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова. - М., 1991. - 15 с. : ил В надзаг.: Моск.авиац.ин-т им.С.Орджоникидзе. Библиогр.: с. 15(8 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-14864
Галкин, И. М. Семантические сети в разработке и сопровождении программ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин. - СПб., 1991. - 15 с. В надзаг.: С.-Петербург.гос.ун-т. Библиогр.: с. 14-15(12 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-16625
Петрушенко, А. Н. Диалоговые преобразования схем программ в алгоритмических алгебрах [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко. - Киев, 1991. - 16 с В надзаг.: АН Украины,Ин-т кибернетки им.В.М.Глушкова. Библиогр.: с. 16(4назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-2493
Бурцев, А. П. Разработка программного обеспечения автоматизированных информационных систем на основе моделей выполнения запросов,сценариев диалога и принятия решений [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / А. П. Бурцев. - М., 1992. - 20 с. : ил В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 19-20(5назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-11455
Бакулин, А. В. Развитие метода и инструментария многоуровневого доказательного проектирования программ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Бакулин. - Киев, 1992. - 18 с В надзаг.: АН Украины,Ин-т кибернетики им.В.М.Глушкова. Библиогр.: с. 17-18(9назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-109
Дюсембаев, А. Е. Корректные модели сегментации программ [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. Е. Дюсембаев. - М., 1994. - 33 с. : ил В надзаг.: Рос.АН.Вычисл.центр. Библиогр.: с.33(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2118
Шахин Вадиа Ханна Разработка методов оптимального проектирования программных средств [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11,05.13.12 / Шахин Вадиа Ханна. - Ереван, 1994. - 10 с. : ил В надзаг.: Гос. инж. ун-т Армении. Библиогр.: с.10 (1назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1053
Ульянов, Д. Э. Разработка и реализация системы конфигурирования программ для транспьютерных сетей [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. Э. Ульянов. - М., 1995. - 16 с. В надзаг. : Рос.АН,ВЦ.Библиогр.:с. 15-16(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-1402
Демин, А. Ю. Проектирование и оценка качества программ на основе структурно-графических представлений [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Ю. Демин. - Томск, 1998. - 18 с. : ил. Библиогр.:с. 18(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-3209
Фролова, Н. В. Методы реализации графориентированных инструментальных сред и их применение для создания приложений [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Н. В. Фролова. - Пермь, 1999. - 18 с. : ил. В надзаг. :Перм. гос. ун-т. Библиогр.:с. 18(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-6966
Плеханова, В. М. Математические модели для исследования возможностей и совместимости ресурсов производства программного продукта [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. М. Плеханова. - Омск, 1999. - 17 с. Библиогр.:с. 15-17(17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| АР01-1239
Матьяш, В. А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш. - СПб., 1999. - 20 с. : ил. Библиогр.:с. 20(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-4389
Лавров, В. А. Исследование и реализация эффективных методов записи активности пользователя персонального компьютера [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. А. Лавров. - Томск, 2005. - 18 c. : ил. - Библиогр.: с. 18(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар06-3748
Корухова, Ю. С. Система автоматического синтеза функциональных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Ю.С. Корухова. - М., 2005. - 18 с : ил. - Библиогр.: с. 18(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар07-15480
Рощин, М. А. Проектирование многокомпонентных программных систем на основе гибридных логических моделей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / М. А. Рощин. - Волгоград, 2007. - 24 с. : ил. - Библиогр.: с. 22-24 (17 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар08-6078
Филимонов, А. В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / А. В. Филимонов. - Н. Новгород, 2008. - 23 с : ил. - Библиогр.: с. 22-23(14 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-932
Костылев, Е. В. Алгоритмы антиунификации и их применение для вычисления инвариантов программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. В. Костылев. - М., 2008. - 23 с. - Библиогр.: с. 23(6 назв.) В надзаг.: МГУ им. М.В. Ломоносова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|