Поисковый запрос: (<.>R=50.05.13$<.>) |
Общее количество найденных документов : 141
Показаны документы с 1 по 30 |
|
1. 
| АР91-7097
Грачев, А. Ю.
Структурирование данных в диалоговой системе программирования ДССП [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев. - М., 1991. - 16 с
В надзаг.: МГУ им.М.В.Ломоносова,Фак.вычислит.математики и кибернетики. Библиогр.: с. 16(4 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР91-3570
Берзигияров, П. К.
Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров. - М., 1991. - 20 с
В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 19-20(12 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| АР91-16023
Марченко, А. Л.
Методы реализации систем продукционного программирования [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко. - М., 1991. - 16 с.
В надзаг.: Моск.авиац.ин-т им.С.Орджоникидзе. Библиогр.: с. 16(8 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| АР91-16625
Петрушенко, А. Н.
Диалоговые преобразования схем программ в алгоритмических алгебрах [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко. - Киев, 1991. - 16 с
В надзаг.: АН Украины,Ин-т кибернетки им.В.М.Глушкова. Библиогр.: с. 16(4назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| АР92-503
Колесник, И. П.
Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник. - М., 1991. - 24 с. : ил
В надзаг.: Ин-т точной механики и вычисл.техники им.С.А.Лебедева АН СССР. Библиогр.: с. 22-24.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| АР93-5448
Коган, Б. И.
Измерительные языковые процессоры для исследования и оценки качества программных средств [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11 / Б. И. Коган. - Владивосток, 1993. - 31 с. : ил
В надзаг.: Рос. АН, Дальневост. отд-ние, Ин-т автоматики и процессов упр. Библиогр.: с.28-31(37 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| АР94-151
Ковтушенко, А. П.
Информационный анализ программ, ориентированный на процессор с длинным командным словом [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / А. П. Ковтушенко. - Новосибирск, 1993. - 16 с. : ил
В надзаг.: Рос. АН, Сиб. отд-ние. Ин-т систем информатики. Библиогр.: с.16(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| АР94-1700
Булышева, Л. А.
Разработка метода многофункционального совмещения при автоматизации параллельного программирования для VLIW-процессов [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. А. Булышева. - Новосибирск, 1993. - 18 с.
В надзаг.Рос.АН. Сиб.отд-ние.Ин-т систем информатики: Библиогр.: с.17-18(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| АР94-1951
Чичиков, А. В.
Методы и средства автоматического проектирования программ по операторным термам [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / А. В. Чичиков. - Минск, 1994. - 18 с.
В надзаг.: Белорус. гос. ун-т информатики и радиоэлектроники. Библиогр.: с.18(3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| АР94-3208
Погудин, Ю. М.
Языковый интерфейс для систем автоматизации микропрограммирования [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Ю. М. Погудин. - Новосибирск, 1994. - 18 с
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики. Библиогр.:с.18 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| АР94-4203
Максимов, А. В.
Иерархическое конфигурационное управление в системе автоматизации разработки крупных программных комплексов [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Максимов. - М., 1993. - 12 с.
В надзаг.: МГУ им.М.В.Ломоносова.Фак.вычислит.математики и кибернетики. Библиогр.: с.12(2 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| АР95-658
Головина, Е. Ю.
Исследование и разработка методов построения интеллектуального репозитория CASE-системы [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. Ю. Головина. - М., 1995. - 18 с. : ил
В надзаг.: Моск.энерг.ин-т (техн. ун-т). Библиогр.: с.1-18 (12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| АР95-2901
Васильев, С. А.
Комплекс распределенного программирования C.dis [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / С. А. Васильев. - М., 1994. - 19 с. : ил
В надзаг.: Рос.АН. Ин-т прикл. математики им. М.В.Келдыша. Библиогр.: с.19(5назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| АР94-5433
Болтаев, Т. Б.
Анализ и интерпретация незавершенных программ при структурном конструировании [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Б. Болтаев. - Новосибирск, 1994. - 18 с.
В надзаг.:Рос.АН.Сиб.отд-ние,Ин-т систем информатики.Библиогр.:с.18(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| АР96-1376
Абрамов, С. М.
Метавычисления и их применение [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / С. М. Абрамов. - Переславль-Залесский, 1995. - 31 с
Библиогр.:с. 31 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| АР96-5688
Горшков, С. Л.
Разработка методов и инструментальных средств обнаружения тупиков в параллельных программах [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Л. Горшков. - М., 1996. - 20 с.
Библиогр.:с. 19-20(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| АР97-3364
Стукалов, Д. Ю.
Функциональное программирование в алгоритмах перебора [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Д. Ю. Стукалов. - СПб, 1997. - 15 с.
В надзаг. :С.-Петерб. гос. ун-т. Библиогр.:с. 15(16 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| АР98-641
Емельянов, П. Г.
Методы и средства статического анализа семантических свойств программ [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / П. Г. Емельянов. - Новосибирск, 1997. - 18 с.
Библиогр.:с. 18
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| АР98-1606
Мирошниченко, Е. А.
Технология проектирования параллельного и распределенного программного обеспечения с использованием PS-сетей [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Е. А. Мирошниченко. - Томск, 1997. - 19 с. : ил.
Библиогр.:с. 18-19(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| АР98-5338
Машечкин, И. В.
Многофункциональная, адаптируемая система кросс-программирования [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:05.13.11 / И. В. Машечкин. - М., 1998. - 27 с. : ил.
В надзаг.:МГУ им. М.В.Ломоносова. Библиогр.:с.24-27 (28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
21.
| АР98-6140
Вылиток, А. А.
Магазинные автоматы и характеризация регулярных языков [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. А. Вылиток. - М., 1998. - 8 с.
В надзаг. :МГУ им.М.В.Ломоносова. Фак. вычислит. мат. и кибернетики. Библиогр.:с. 7-8(3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
22.
| АР99-647
Ануреев, И. С.
Системы переписывания формул и их применение в автоматической верификации программ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев. - Новосибирск, 1998. - 19 с.
В надзаг. :Рос.АН,Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 19(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
23.
| АР99-1606
Карпова, Н. Н.
Исследование и реализация функционально-логической парадигмы программирования с использованием формализма направленных отношений [Текст] : автореферат диссертации на соискание ученой степени канд. фимз.-мат. наук: 05.13.17 / Н. Н. Карпова. - М., 1998. - 20 с. : ил.
Библиогр.:с. 18-20(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
24.
| АР99-4460
Мошков, М. Ю.
Временная сложность деревьев решений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / М. Ю. Мошков. - М., 1999. - 21 с.
В надзаг. :МГУ им.М.В.Ломоносова. Мех.-мат. фак. Библиогр.:с. 19-21(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
25.
| АР99-5460
Гаевой, В. А.
Разработка способа и средств реализации программ на основе системы функциональных продукций [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Гаевой. - СПб, 1999. - 16 с. : ил.
Библиогр.:с. 16(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
26.
| АР99-7110
Петров, Е. С.
Методы интеграции логического программирования и программирования в ограничениях [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. С. Петров. - Новосибирск, 1999. - 18 с.
В надзаг. : Рос.АН,Ин-т систем информатики им.А.П.Ершова.Библиогр.:с. 17-18(12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
27.
| АР99-7385
Пинаев, Д. В.
Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев. - СПб, 1998. - 18 с. : ил.
Библиогр.:с. 17-18(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
28.
| АР00-1641
Груздева, Н. В.
Проблемно-ориентированные знания в системе обучения функциональному программированию [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. В. Груздева. - М., 1999. - 14 с.
В надзаг. : МГУ им.М.В.Ломоносова,Фак.вычисл.математики и кибернетики.Библиогр.:с. 14 (3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
29.
| АР00-3518
Краева, М. А.
Сборочная технология реализации метода частиц для MIMD мультикомпьютеров [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / М. А. Краева. - Новосибирск, 1999. - 18 с. : ил.
В надзаг. :Рос.АН. Сиб. отд-ние. Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 18(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
30.
| АР00-4544
Покозий, Е. А.
Методы спецификации и верификации параллельных моделей с непрерывным временем [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий. - Новосибирск, 1999. - 16 с.
В надзаг.:Рос. АН, Сибир. отд-ние, Ин-т систем информатики им. А.П.Ершова. Библиогр.:с. 16
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных