Поисковый запрос: (<.>U=004.438(043)<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 12 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-14065
Иванов, В. В. Исследование и расширение возможностей системы программирования muLISP [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов. - М., 1991. - 20 с. : ил В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 20(5 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР93-713
Мансуров, Н. Н. Реализация расширенного языка Рефал на односвязной списковой памяти [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров. - М., 1992. - 16 с. : ил В надзаг.: МГУ им.М.В.Ломоносова,Фак.вычисл.математики и кибернетики. Библиогр.: с. 16(4 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР93-5327
Лютый, В. Г. Язык модуля -90К и его реализация [Текст] : автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый. - М., 1993. - 16 с В надзаг.: ВЦ Рос.АН. Библиогр.: с.15-16(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1266
Соловьев, И. П. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев. - СПб., 1995. - 15 с В надзаг. : С.-Петербург. гос. ун-т. Библиогр.:с. 14-15(11назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-3140
Климов, А. А. Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов. - СПб, 1996. - 14 с. В надзаг. :С.-Петерб.гос.ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| АР98-6194
Аксенов, К. Е. Разработка переносимого программного обеспечения средствами ЛИСП [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов. - М., 1998. - 17 с. Библиогр.:с. 17(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-1153
Абдрахимов, И. С. Процедурная семантика и стратегия поиска решения в системе Флэнг [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов. - Иркутск, 1998. - 15 с. Библиогр.:с. 15(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-4731
Саввин, К. О. Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин. - СПб, 1999. - 16 с. : ил. Библиогр.:с. 15-16(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-0553
Белов, М. А. Базовый язык программирования МКП и его реализация [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. А. Белов. - М., 1991. - 20 с. В надзаг. :АН СССР. Ин-т точной механики и вычислит. техники. Библиогр.:с. 17-20(12 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар03-8498
Кротов, А. Н. Принципы реализации семантики языка Си++ в системе 3С++ [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. Н. Кротов. - М., 2002. - 24 с. Библиогр.: с. 24 (7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-4099
Игнатьев, В. Н. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. Н. Игнатьев. - М., 2015. - 24 с. : ил. - Библиогр.: с. 24 (5 назв.). - 60 экз.
Кл.слова (ненормированные): семантика -- кодирование -- программные средства
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-5630
Марков, А. В. Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. В. Марков. - Новосибирск, 2015. - 24 с. : ил. - Библиогр.: с. 23-24 (24 назв.). - 100 экз.
Кл.слова (ненормированные): UML-диаграммы -- сети Петри
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|