Приложение
для AndroidПолное описание
Манцивода, А. В. Логическое программирование в ограничениях: семантический подход : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода. - Новосибирск : [б. и.], 1995. - 24 с. : ил. - Текст : непосредственный.
В надзаг.: ВЦ Сиб.отд-ния РАН. Библиогр.: с.21-24(27 назв.)
| ГРНТИ | УДК | |
| 50.05.03 | 004.42.047(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.11 / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Боголюбов Д.П. Разработка интеллектуальной среды обучения логическому программированию : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. П. Боголюбов, 1995. - 15 с. - Текст : непосредственный.Шакиров А.А. Логико-алгебраические способы описания геометрических фигур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. А. Шакиров, 1997. - 18 с. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Klingler A. Datenparallele Auswertung rekursiver logischer Programme : Diss. / A.Klingler, 1993. - 152 S. - Текст : непосредственный.Tausend B. Beschrankungen der Hypothesensprache und ihre Reprasentation in der Induktiven Logischen Programmierung : Diss. / B.Tausend, 1994. - 226 S. - Текст : непосредственный.Stahl I. Das Einfuhren neuer Pradikate in der Induktiven Logischen Programmierung : Diss / I.Stahl, 1995. - 204 S. - Текст : непосредственный.Johansson A.-L. Logic program synthesis using schema instantiation in an interactive environment : Diss. / A.-L.Johansson, 1995. - XII,195 p. p. - Текст : непосредственный.Bockmayr A.M. Beitrage zur Theorie des logischfunktionalen Programmierens : Diss. / A.M.Bockmayr, 1990. - 127 S. - Текст : непосредственный.Linear logic I : Meeting, Tokyo, Mar.28- Apr.2, 1996 / Ed. J.-Y. Girard, 1999. - 386 p. - Текст : непосредственный.Welsch C. Integration von Konzepten der objektorientierten und logischen Programmierung : Diss. / C.Welsch, 1990. - 194 S. - Текст : непосредственный.Zartmann F. Denotationelle Analysen funktional-logischer Programme : Diss. / F.Zartmann, 1999. - 173 S. - Текст : непосредственный.Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования : автореф. дис. .. канд. техн. наук : 05.13.11 / А. М. Бебчик, 2005. - 20 с. - Текст : непосредственный.Дехтярь М.И. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. .. д-ра физ.-мат. наук : 05.13.17 / М. И. Дехтярь, 2009. - 35 с. - Текст : непосредственный.Нечесов, Андрей Витальевич. Полиномиальная вычислимость в семантическом программировании : специальность 1.1.5 - "Математическая логика, алгебра, теория чисел и дискретная математика." : автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Нечесов Андрей Витальевич, 2022. - 23 с. - Текст : непосредственный.
Заказ фрагмента документа ₽