Поисковый запрос: (<.>R=50.05.13$<.>) |
Общее количество найденных документов : 141
Показаны документы с 1 по 30 |
|
1. 
| АР00-3518
Краева, М. А.
Сборочная технология реализации метода частиц для MIMD мультикомпьютеров [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / М. А. Краева. - Новосибирск, 1999. - 18 с. : ил.
В надзаг. :Рос.АН. Сиб. отд-ние. Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 18(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| Ар07-2903
Касьянова, Е. В.
Адаптивные методы и средства поддержки дистанционного обучения программированию [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Е. В. Касьянова. - Новосибирск, 2006. - 26 с. - Библиогр.: с. 24-26(21 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар07-4060
Демаков, А. В.
Объектно-ориентированное описание графового представления программ и моделей [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / А. В. Демаков. - М., 2006. - 26 с. : ил. - Библиогр.: с. 26 (6 назв.).
В надзаг.: Рос. АН, Ин-т систем. программирования
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар07-4931
Липинский, Л. В.
Алгоритмы генетического программирования для формирования интеллектуальных информационных технологий [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Л. В. Липинский. - Красноярск, 2006. - 20 с. - Библиогр.: с. 18-20 (22 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар07-2716
Кудрявцев, М. В.
Автоматизация отладки параллельных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / М. В. Кудрявцев. - М., 2006. - 18 с. : ил. - Библиогр.: с. 18 (5 назв.)
В надзаг.: МГУ им. М.В. Ломоносова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар06-13873
Будагян, Л. Э.
Об интерпретации строго типизированных функциональных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Л. Э. Будагян. - М., 2006. - 18 с. - Библиогр.: с. 17-18 (6 назв.). - 100 экз.
В надзаг.:МГУ им. М.В. Ломоносова, Физ. вычислит. математики и кибернетики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар06-9404
Худов, К. А.
Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / К. А. Худов. - М., 2006. - 20 с. : ил. - Библиогр.: с. 19-20(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар07-1792
Стасенко, А. П.
Модели и реализация транслирующих компонентов системы функционального программирования [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / А. П. Стасенко. - Новосибирск, 2006. - 20 с. - Библиогр.: с. 19-20(12 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар07-1428
Кручинин, А. Н.
Автоматическая генерация программных компонент по выскоуровневым спецификациям [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. Н. Кручинин. - Ростов н/Д, 2006. - 22 с. - Библиогр.: с. 21-22. - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| Ар07-12313
Олейник, П. П.
Разработка методики построения унифицированных трехзвенных объектно-ориентированных приложений [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / П. П. Олейник. - Ростов н/Д, 2007. - 28 с. : ил. - Библиогр.: с. 27-28(14 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| Ар08-6253
Бабкова, В. В.
Методология поддержки разработки эффективных параллельных программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. В. Бабкова. - М., 2008. - 25 с : ил. - Библиогр.: с. 24-25(7 назв.)
В надзаг.: Рос. АН, Ин-т системного программирования РАН
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| Ар08-4163
Бахтин, В. А.
Гибридная модель параллельного программирования DVM/OpenMP [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. А. Бахтин. - М., 2008. - 24 с. : ил. - Библиогр.: с. 24(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| Ар08-7785
Кубасов, С. В.
Верификация автоматных программ в контексте синхронного программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / С. В. Кубасов. - Ярославль, 2008. - 19 с : ил. - Библиогр.: с. 18-19(7 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| Ар08-6807
Гуров, В. С.
Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация) [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. С. Гуров. - СПб., 2008. - 16 с : ил. - Библиогр.: с. 15-16(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
15.
| Ар07-13273
Легалов, И. А.
Эволюционно расширяемые и повторно используемые языковые средства процедурно-параметрической парадигмы программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / И. А. Легалов. - Красноярск, 2007. - 18 с. : ил. - Библиогр.: с. 17-18(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
16.
| Ар07-13055
Мамонтов, А. И.
Функциональные системы полиномов и их применение в программировании для вычислительных систем и сетей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. И. Мамонтов. - М., 2007. - 20 с. : ил. - Библиогр.: с. 19-20(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
17.
| Ар07-15567
Немытых, А. П.
Специализация функциональных программ методами суперкомпиляции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / А. П. Немытых. - Переславль-Залесский, 2007. - 26 с. - Библиогр.: с. 21-25 (38 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
18.
| Ар07-13861
Аксенова, Е. А.
Математические модели и оптимальные методы реализации динамических структур данных [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / Е. А. Аксенова. - Петрозаводск, 2007. - 21 с. - Библиогр.: с. 19-21
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
19.
| Ар05-4401
Легалов, А. И.
Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно-расширяемых параллельных программ [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.11 / А. И. Легалов. - Красноярск, 2005. - 34 c. - Библиогр.: с. 32-34 (28 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
20.
| Ар05-4389
Лавров, В. А.
Исследование и реализация эффективных методов записи активности пользователя персонального компьютера [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. А. Лавров. - Томск, 2005. - 18 c. : ил. - Библиогр.: с. 18(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
21.
| Ар05-5019
Фадеев, Р. В.
Разработка и исследование инструментальных средств многоязыковой трансляции [Текст] : автореф. дис. ... канд. техн. наук : 05.13.17, 05.13.11 / Р. В. Фадеев. - Таганрог, 2005. - 16 с. : ил. - Библиогр.: с. 16(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
22.
| Ар05-5046
Бебчик, А. М.
Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. М. Бебчик. - М., 2005. - 20 с. : ил. - Библиогр.: с. 19-20(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
23.
| Ар05-3854
Иосенкин, В. Я.
Технология контекстного программирования и ее применение [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. Я. Иосенкин. - М., 2005. - 23 с. : ил. - Библиогр.: с. 21-23 (18 назв.).
В надзаг.: Рос. АН, Ин-т проблем упр. им. В.А. Трапезникова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
24.
| Ар05-2075
Промский, А. В.
Формальная семантика C-LIGHT программ и их верификация методом Хоара [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / А. В. Промский. - Новосибирск, 2004. - 17 с. - Библиогр.: с. 16-17(11 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
25.
| Ар05-1931
Привалихин, Д. В.
Языковая и инструментальная поддержка функционально-потокового параллельного программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Д. В. Привалихин. - Красноярск, 2004. - 18 с. - Библиогр.: с. 17-18(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
26.
| Ар05-3298
Прокофьева, Е. Ю.
Модификации и реализации FOTL-метода компьютерной верификации алгоритмов, использующих линейное время [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Е. Ю. Прокофьева. - СПб., 2004. - 15 c. - Библиогр.: с. 14-15
В надзаг.: С.-Петерб. гос. ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
27.
| Ар05-2161
Шматок, А. В.
Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. В. Шматок. - Таганрог, 2004. - 18 с. : ил. - Библиогр.: с. 17-18 (18 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
28.
| Ар05-10414
Горшкова, Е. А.
Анализ и разработка методов и средств моделирования интернет-приложений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / Е.А. Горшкова. - СПб., 2005. - 14 с. - Библиогр.: с. 11-14
В надзаг.: С.-Петерб. гос. ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
29.
| Ар05-10254
Степанов, А. Г.
Архитектуры и методы проектирования мигрирующих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А.Г. Степанов. - СПб., 2005. - 16 с. : ил. - Библиогр.: с. 15-16(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
30.
| Ар06-7538
Ашраф Абд Эль-Фаттах Мустафа Дарвиш
Расширение предикативных формул линейными неравенствами и списками для спецификации программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / Ашраф Абд Эль-Фаттах Мустафа Дарвиш. - СПб., 2006. - 16 с. - Библиогр.: с. 14-16.
В надзаг.: С.-Петерб. гос. ун-т
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных