Поисковый запрос: (<.>U=004.422.8(043)<.>) |
Общее количество найденных документов : 11
Показаны документы с 1 по 11 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР90-016969
Стукало, А. С. Архитектура и методы построения развитых, интегрированных и интеллектуальных пакетов прикладных программ для систем специального назначения [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.11 / А. С. Стукало. - Киев, 1990. - 28 с. : ил. В надзаг. : АН УССР. ИН-т кибернетики им.В.Г.Глушкова. Библиогр.:с. 25-28(34 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-4159
Москвина, Л. А. Автоматизация разработки пакетов статистического моделирования траекторий в геометрически сложных областях [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Л. А. Москвина. - Новосибирск, 1993. - 23 с. В надзаг.: Новосиб.гос.ун-т. Библиогр.: с.19-23(36 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-750
Кочетов, Д. В. Эффективная специализация алголоподобных программ [Текст] : автореферат диссертации на соискание ученой степени канд физ.-мат.наук:05.13.11 / Д. В. Кочетов. - Новосибирск, 1995. - 16 с В надзаг. : Рос.АН. Сиб. отд.-ние. Ин-т систем информатики. Библиогр.:с. 16(3назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР97-1086
Пециляк, И. И. Разработка диалого-графической среды вычислительных пакетов прикладных программ для обработки экспериментальных данных [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. И. Пециляк. - М., 1997. - 20 с. : ил. В надзаг. :МГУ им.М.В.Ломоносова. Библиогр.:с. 19-20)5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР97-762
Воеводин, В. В. Аналитические и инструментальные средства исследования тонкой структуры программ [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:05.13.11 / В. В. Воеводин. - М., 1997. - 27 с. : ил. В надзаг. : МГУ им. М.В.Ломоносова. Фак. вычисл. математики и кибернетики. Библиогр.:с. 26-27(10назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар09-968
Русаков, Д. М. Схемы программ с константами [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Д. М. Русаков. - М., 2008. - 15 с. - Библиогр.: с. 14-15(10 назв.) В надзаг.: МГУ им. М.В. Ломоносова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-1114
Тихоненко, А. В. Комплексы проблемно-ориентированных программ в системах символьной математики [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.18 / А. В. Тихоненко. - Обнинск, 2009. - 36 с. : ил. - Библиогр.: с. 33-36 (57 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-31074
Захаров, В. А. Проблема эквивалентности программ: модели, алгоритмы, сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.09 / В. А. Захаров. - М., 2011. - 42 с. - Библиогр.: с. 35-42 (60 назв.)
Кл.слова (ненормированные): программы для эвм -- эквивалентность -- теоретическое исследование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-22882
Недоводеев, К. В. Методы построения пакетов прикладных программ для неоднородных многоядерных процессоров [Текст] : автореф. дис. ... канд. техн. наук : 95.13.11 / К. В. Недоводеев. - СПб., 2012. - 23 с. : ил. - Библиогр.: с. 22-23 (9 назв.)
Кл.слова (ненормированные): центральные многоядерные процессоры -- системы на кристалле -- пакеты прикладных программ -- автоматическая адаптация программ
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-13598
Ахаев, А. В. Методика, модели и алгоритмы выбора программных продуктов на основе онтологии и нечеткой меры [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / А. В. Ахаев. - Томск, 2014. - 19 с. - Библиогр.: с. 18-19 (20 назв.)
Кл.слова (ненормированные): программирование для ЭВМ -- интеграл Шоке -- империалистический алгоритм
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-3282
Подымов, В. В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Подымов. - М., 2015. - 24 с. : ил. - Библиогр.: с. 24 (7 назв.). - 100 экз.
Кл.слова (ненормированные): программы для ЭВМ -- эквивалентность
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|