Приложение
для AndroidПолное описание
Борщев, В. Б. Семантика языков логического программирования и абстрактная машина для их реализации : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев. - М. : [б. и.], 1992. - 47 с. : ил. - Текст : непосредственный.
В надзаг.: Рос.АН,Всерос.ин-т науч.и техн.информации. Библиогр.: с. 46-47(13назв.).
| ГРНТИ | УДК | |
| 50.05.03 | 004.43(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Руководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.Ханна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Маслов В.Ю. Разработка векторизатора для системы кросс-программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Ю. Маслов, 1991. - 15 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Крушняков В.Н. Средства автоматизации построения компонентов систем программирования на базе языкоориентированной архитектуры МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Н. Крушняков, 1991. - 13 с. - Текст : непосредственный.Аджиев В.Д. Проектирование системы программирования для интегрированных систем машинной геометрии и графики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Д. Аджиев, 1992. - 20 с. - Текст : непосредственный.Панкратов С.А. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. А. Панкратов, 1992. - 18 с. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Григорьев С.Г. Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / С. Г. Григорьев, 1993. - 35 с. - Текст : непосредственный.Смешанно-целочисленное программирование для персонального компьютера IBM PC : Руководство пользователя системы MILP88. Версия 5.02 / ВЦП. - 67 c. - Текст : непосредственный.Данг Чыонг Шон.Разработка интеллектуальной системы программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон, 1992. - 15 с. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Руководство для пользователя программного изделия VAXELN. Ч.1 / ВЦП. - 211 c. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Родионов А.В. Геометрические свойства и численные методы нелинейной оптимизации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. В. Родионов, 1993. - 16 с. - Текст : непосредственный.Березин Е.Г. Языковые средства программирования в объектно-базированной среде КЛАСТОС : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Е. Г. Березин, 1993. - 20 с. - Текст : непосредственный.
Показать все результатыБорщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Бурцев А.А. Расширение языков программирования средствами обработки исключительных ситуаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. А. Бурцев, 1996. - 22 с. - Текст : непосредственный.Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация) : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / С. А. Нигиян, 1997. - 34 с. - Текст : непосредственный.Авербух В.Л. Анализ и оценка языков систем визуализации программного обеспечения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Л. Авербух, 1998. - 18 с. - Текст : непосредственный.Груздов Ф.А. Архитектурная поддержка защищенных вычислений при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Ф. А. Груздов, 2000. - 26 с. - Текст : непосредственный.Пастухов А.Ю. Адаптация лингвистического обеспечения к естественному языку пользователя : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.01 / А. Ю. Пастухов, 2001. - 16 с. - Текст : непосредственный.Automata,Languages and programming : 10th colloquim,Barselona,July 18-22,1983 / сост.ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный.Hucken V. Objekt-Orientierung und Parallelitat in Betriebssystem und Programmiersprache : Diss / V.H@:ucken, 1990. - IV,137 S. S. - Текст : непосредственный.Сафонов К.В. Распознавание и синтаксический анализ контекстно-свободных языков программирования : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / К. В. Сафонов, 2006. - 30 с. - Текст : непосредственный.Казакова А.Е. Методологические основания развития языков программирования : автореф. дис. .. канд. философ. наук : 09.00.08 / А. Е. Казакова, 2008. - 22 с. - Текст : непосредственный.Березун Д.А. Трассирующая нормализация : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Д. А. Березун, 2017. - 15 с.Хаберланд Рене.Логический язык программирования как инструмент спецификации и верификации динамической памяти : специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей : автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене, 2020. - 16 с. - Текст : непосредственный.
Заказ фрагмента документа ₽