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