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