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