Поисковый запрос: (<.>R=50.05.09$<.>) |
Общее количество найденных документов : 38
Показаны документы с 1 по 20 |
|
1. 
| АР91-8924
Дао Нам Ань
Автоматизация процесса построения компиляторов [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань. - Киев, 1991. - 12 с. : ил
В надзаг.: Киев.гос.ун-т им.Т.Г.Шевченко. Библиогр.: с. 11-12.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР91-9453
Зевина, С. Г.
Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина. - М, 1991. - 19 с. : ил
В надзаг.: АН СССР,Науч.Совет по комплекс.пробл."Кибернетика". Библиогр.: с. 18-19.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| АР91-1585
Вдовкин, С. В.
Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" [Текст] : автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин. - Л., 1990. - 15 с
В надзаг.: Ленингр.гос.техн.ун-т. Библиогр.: с. 14-15(15назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| АР91-14065
Иванов, В. В.
Исследование и расширение возможностей системы программирования muLISP [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов. - М., 1991. - 20 с. : ил
В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 20(5 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| АР92-3317
Плисс, О. А.
Методы оптимизации при реализации объектно-ориентированных языков [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс. - СПб, 1992. - 16 с
В надзаг.: Санкт-Петербургский гос.ун-т. Библиогр.: с. 16(3 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| АР93-713
Мансуров, Н. Н.
Реализация расширенного языка Рефал на односвязной списковой памяти [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров. - М., 1992. - 16 с. : ил
В надзаг.: МГУ им.М.В.Ломоносова,Фак.вычисл.математики и кибернетики. Библиогр.: с. 16(4 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| АР93-3622
Танев, И. Т.
Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев. - СПб, 1993. - 12 с. : ил
В надзаг.: Санкт-Петербург.гос.электротехн.ун-т. Библиогр.: с.12(2назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| АР93-5327
Лютый, В. Г.
Язык модуля -90К и его реализация [Текст] : автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый. - М., 1993. - 16 с
В надзаг.: ВЦ Рос.АН. Библиогр.: с.15-16(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| АР93-7660
Тодорова, Э. С.
Архитектура процессора, ориентированного на эффективное выполнение компилированных пролог-программ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Э. С. Тодорова. - СПб, 1993. - 16 с.
В надзаг.: С.-Петербург.гос.электротехн.ун-т. Библиогр.: с.16 (2 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| АР95-4191
Бухвалова, В. В.
DROL - язык спецификации для задач вычислительной геометрии [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Бухвалова. - СПб, 1995. - 15 с. : ил
В надзаг.: С.-Петербург.гос.ун-т. Библиогр.: с.13-15 (12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| АР95-6829
Гаврилов, А. В.
Настраиваемая система программирования для категориальных вычислений [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. В. Гаврилов. - М., 1995. - 16 с. : ил
В надзаг.: Моск.гос.инж.-физ.ин-т(техн.ун-т). Библиогр.:с.15-16(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| АР96-1266
Соловьев, И. П.
Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев. - СПб., 1995. - 15 с
В надзаг. : С.-Петербург. гос. ун-т. Библиогр.:с. 14-15(11назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| АР96-3140
Климов, А. А.
Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов. - СПб, 1996. - 14 с.
В надзаг. :С.-Петерб.гос.ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| АР96-5634
Бурцев, А. А.
Расширение языков программирования средствами обработки исключительных ситуаций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Бурцев. - М., 1996. - 22 с. : ил
В надзаг. :МГУ им.М.В.Ломоносова.Фак.вычислит.математики и кибернетики.Библиогр.:с.22(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| АР98-1783
Нигиян, С. А.
Функциональные и логические языки программирования (формализация, анализ, интерпретация) [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / С. А. Нигиян. - М., 1997. - 34 с.
В надзаг. :МГУ им.М.В.Ломоносова. Фак. вычислит. математики и кибернетики. Библиогр.:с. 34(13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| АР98-6194
Аксенов, К. Е.
Разработка переносимого программного обеспечения средствами ЛИСП [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов. - М., 1998. - 17 с.
Библиогр.:с. 17(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| АР99-402
Ушаков, Д. М.
Объектно-ориентированная среда для недоопределенных вычислений [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Д. М. Ушаков. - Новосибирск, 1998. - 18 с.
Библиогр.:с. 17-18(12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| АР99-1153
Абдрахимов, И. С.
Процедурная семантика и стратегия поиска решения в системе Флэнг [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов. - Иркутск, 1998. - 15 с.
Библиогр.:с. 15(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| АР99-4464
Муромцев, В. В.
Синтез распознавателей языков компьютерного моделирования объектов с конечным числом состояний [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. В. Муромцев. - Белгород, 1999. - 16 с. : ил.
Библиогр.:с. 16(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| АР99-4731
Саввин, К. О.
Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин. - СПб, 1999. - 16 с. : ил.
Библиогр.:с. 15-16(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных