Приложение
для AndroidПолное описание
Мансуров, Н. Н. Реализация расширенного языка Рефал на односвязной списковой памяти : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров. - М. : [б. и.], 1992. - 16 с. : ил. - Текст : непосредственный.
В надзаг.: МГУ им.М.В.Ломоносова,Фак.вычисл.математики и кибернетики. Библиогр.: с. 16(4 назв.).
| ГРНТИ | УДК | |
| 50.05.09 | 004.438(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Турбо Паскаль 4.0/5.0 / ВЦП. - 316 c. - Текст : непосредственный.Операторы языка Natural AG. Раздел 2 / ВЦП. - 184 c. - Текст : непосредственный.Справочное руководство по системе Natural 2 / ВЦП. - 179 c. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.Руководство по языку Турбо-Паскаль. Гл.16. Справочник по языку Турбо-Паскаль / ВЦП (Минск). - 159 c. - Текст : непосредственный.Приложения: А - сравнение Турбо-Паскаля 4.0 с АНСИ-Паскалем. В - директивы компилятору. С - справочные материалы. Д - сообщения об оплате и коды / ВЦП (Минск). - 49 c. - Текст : непосредственный.Справочное руководство по языку ПАСКАЛЬ. Гл.16. Разработка программ / ВЦП. - 105 c. - Текст : непосредственный.
Показать все результатыИванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Лютый В.Г. Язык модуля -90К и его реализация : Автореферат диссертации на соискание ученой степени кканд.физ.-мат.наук:05.13.11 / В. Г. Лютый, 1993. - 16 с. - Текст : непосредственный.Соловьев И.П. Разработка и экспериментальная реализация интеграции рекурсивных образцов и функций в синтаксическую среду языка Пролог : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / И. П. Соловьев, 1995. - 15 с. - Текст : непосредственный.Климов А.А. Разработка и экспериментальная реализация интеграции переборных средств языков ПРОЛОГ и РЕФАЛ в синтаксическую среду языка ТУРБО ПАСКАЛЬ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Климов, 1996. - 14 с. - Текст : непосредственный.Аксенов К.Е. Разработка переносимого программного обеспечения средствами ЛИСП : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / К. Е. Аксенов, 1998. - 17 с. - Текст : непосредственный.Абдрахимов И.С. Процедурная семантика и стратегия поиска решения в системе Флэнг : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / И. С. Абдрахимов, 1998. - 15 с. - Текст : непосредственный.Саввин К.О. Исследование возможности применения Constraint-пролога с вероятностью для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. О. Саввин, 1999. - 16 с. - Текст : непосредственный.Белов М.А. Базовый язык программирования МКП и его реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. А. Белов, 1991. - 20 с. - Текст : непосредственный.Кротов А.Н. Принципы реализации семантики языка Си++ в системе 3C++ : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Н. Кротов, 2002. - 24 с. - Текст : непосредственный.Schlichting J.J.F.M. early implementation of revised ALGOL 68 : Garbage collection using recognizable pointersDiss. / J.J.F.M.Schlichting, 1989. - Pag.var. - Текст : непосредственный. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / В. Н. Игнатьев, 2015. - 24 с.Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Марков, 2015. - 24 с.Бородин А.Е. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. Е. Бородин, 2016. - 24 с. - Текст : непосредственный.Мандрыкин М.У. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / М. У. Мандрыкин, 2016. - 23 с.Раткевич И.С. Расширенный языковой сервис FRIS для программирования на языке Fortran в Microsoft Visual Studio : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / И. С. Раткевич, 2016. - 19 с.Бикмуллина И.И. Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области : автореф. дис. .. канд. техн. наук : 05.13.11 / И. И. Бикмуллина, 2017. - 14 с.Подкопаев А.В. Операционные методы в приложении к слабым моделям памяти : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / А. В. Подкопаев, 2018. - 15 с.Дерюгина О.А. Программно-математические средства рефакторинга UML-диаграмм классов с учетом заданных критериев качества : автореф. дис. .. канд. техн. наук : 05.13.11 / О. А. Дерюгина, 2018. - 19 с. - Текст : непосредственный.Пилипенко А.В. Разработка и реализация механизмов сокращения размера Java-приложений для встраиваемых систем в закрытой модели : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Пилипенко, 2018. - 18 с.
Показать все результатыЗаказ фрагмента документа ₽