Приложение
для AndroidПолное описание
Галкин, И. М. Семантические сети в разработке и сопровождении программ : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин. - СПб. : [б. и.], 1991. - 15 с. - Текст : непосредственный.
В надзаг.: С.-Петербург.гос.ун-т. Библиогр.: с. 14-15(12 назв.).
| ГРНТИ | УДК | |
| 50.05.03 | 004.415.2(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 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Бурцев А.П. Разработка программного обеспечения автоматизированных информационных систем на основе моделей выполнения запросов,сценариев диалога и принятия решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / А. П. Бурцев, 1992. - 20 с. - Текст : непосредственный.Бакулин А.В. Развитие метода и инструментария многоуровневого доказательного проектирования программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Бакулин, 1992. - 18 с. - Текст : непосредственный.Дюсембаев А.Е. Корректные модели сегментации программ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. Е. Дюсембаев, 1994. - 33 с. - Текст : непосредственный.Шахин Вадиа Ханна.Разработка методов оптимального проектирования программных средств : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11,05.13.12 / Шахин Вадиа Ханна, 1994. - 10 с. - Текст : непосредственный.Ульянов Д.Э. Разработка и реализация системы конфигурирования программ для транспьютерных сетей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. Э. Ульянов, 1995. - 16 с. - Текст : непосредственный.Демин А.Ю. Проектирование и оценка качества программ на основе структурно-графических представлений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Ю. Демин, 1998. - 18 с. - Текст : непосредственный.Фролова Н.В. Методы реализации графориентированных инструментальных сред и их применение для создания приложений : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Н. В. Фролова, 1999. - 18 с. - Текст : непосредственный.Плеханова В.М. Математические модели для исследования возможностей и совместимости ресурсов производства программного продукта : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. М. Плеханова, 1999. - 17 с. - Текст : непосредственный.Матьяш В.А. Реверсивные методы структурной разработки программных систем на начальных этапах жизненного цикла : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / В. А. Матьяш, 1999. - 20 с. - Текст : непосредственный.Исследование и реализация эффективных методов записи активности пользователя персонального компьютера : автореф. дис. .. канд. техн. наук : 05.13.11 / В. А. Лавров, 2005. - 18 c. - Текст : непосредственный.Корухова Ю.С. Система автоматического синтеза функциональных программ : автореф. дис. .. канд. физ.-мат. наук : 05.13.11 / Ю.С. Корухова, 2005. - 18 с. - Текст : непосредственный.Проектирование многокомпонентных программных систем на основе гибридных логических моделей : автореф. дис. .. канд. техн. наук : 05.13.01 / М. А. Рощин, 2007. - 24 с. - Текст : непосредственный.Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей : автореф. дис. .. канд. техн. наук : 05.13.18 / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Алгоритмы антиунификации и их применение для вычисления инвариантов программ : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / Е. В. Костылев, 2008. - 23 с. - Текст : непосредственный.
Заказ фрагмента документа ₽