Поисковый запрос: (<.>R=50.05.13$<.>) |
Общее количество найденных документов : 141
Показаны документы с 1 по 30 |
|
1.
|
Вид документа : Однотомное издание Шифр издания : АР96-1376
Автор(ы) : Абрамов С.М.
Заглавие : Метавычисления и их применение
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17
Выходные данные : Переславль-Залесский, 1995 Колич.характеристики :31 с
Примечания : Библиогр.:с. 31 (8 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
2.
|
Вид документа : Однотомное издание Шифр издания : АР02-5661
Автор(ы) : Аветисян А.И.
Заглавие : Исследование и разработка инструментальной системы программирования ParJava для параллельных вычислительных систем
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.11
Выходные данные : М., 2001 Колич.характеристики :20 с.
Примечания : В надзаг.: Рос. АН, Ин-т систем. программирования. Библиогр.: с.19-20 (9 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
3.
|
Вид документа : Однотомное издание Шифр издания : Ар09-19440
Автор(ы) : Адинец А.В.
Заглавие : Высокоуровневая система программирования графических процессорных устройств
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2009 Колич.характеристики :17 с.:
ил
Примечания : Библиогр.: с. 17(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
4.
|
Вид документа : Однотомное издание Шифр издания : Ар07-13861
Автор(ы) : Аксенова Е.А.
Заглавие : Математические модели и оптимальные методы реализации динамических структур данных
: автореф. дис. ... канд. физ.-мат. наук : 05.13.18
Выходные данные : Петрозаводск, 2007 Колич.характеристики :21 с.
Примечания : Библиогр.: с. 19-21
ГРНТИ : 50.05.13 УДК : 004.422.635(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
5.
|
Вид документа : Однотомное издание Шифр издания : АР99-647
Автор(ы) : Ануреев И.С.
Заглавие : Системы переписывания формул и их применение в автоматической верификации программ
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Новосибирск, 1998 Колич.характеристики :19 с.
Примечания : В надзаг. :Рос.АН,Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова. Библиогр.:с. 19(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
6.
|
Вид документа : Однотомное издание Шифр издания : Ар04-14465
Автор(ы) : Аручиди Н.А.
Заглавие : Интернет-технологии программирования: сравнительный анализ потребительского качества
: автореф. дис. ... канд. экон. наук : 08.00.13
Выходные данные : Ростов н/Д, 2004 Колич.характеристики :23 c.:
ил
Примечания : Библиогр.: с. 23(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.42:004.738.52(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
7.
|
Вид документа : Однотомное издание Шифр издания : АР01-4902
Автор(ы) : Ахтырченко К.В.
Заглавие : Исследование и разработка методов моделирования программной архитектуры
: Автореферат диссертации на соискание ученой степени канд. физ.-мат наук: 05.13.11
Выходные данные : М., 2001 Колич.характеристики :18 с.:
ил.
Примечания : В надзаг. : МГУ им. М.В.Ломоносова. Науч.-вычислит. центр. Библиогр.:с. 18(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.414.23(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
8.
|
Вид документа : Однотомное издание Шифр издания : Ар06-7538
Автор(ы) : Ашраф Абд Эль-Фаттах Мустафа Дарвиш
Заглавие : Расширение предикативных формул линейными неравенствами и списками для спецификации программ
: автореф. дис. ... канд. физ.-мат. наук : 05.13.17
Выходные данные : СПб., 2006 Колич.характеристики :16 с.
Примечания : Библиогр.: с. 14-16. - В надзаг.: С.-Петерб. гос. ун-т
ГРНТИ : 50.05.13 УДК : 004.415.28(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
9.
|
Вид документа : Однотомное издание Шифр издания : Ар08-6253
Автор(ы) : Бабкова В.В.
Заглавие : Методология поддержки разработки эффективных параллельных программ
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :25 с:
ил
Примечания : Библиогр.: с. 24-25(7 назв.). - В надзаг.: Рос. АН, Ин-т системного программирования РАН
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
10.
|
Вид документа : Однотомное издание Шифр издания : Ар06-3103
Автор(ы) : Баскаков Ю.В.
Заглавие : Обеспечение поддержки процесса повышения производительности компиляторов для архитектур с явно выраженной параллельностью при их совместной разработке
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2005 Колич.характеристики :20 с.
Примечания : Библиогр.: с. 20
ГРНТИ : 50.05.13 УДК : 004.422.8'422(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
11.
|
Вид документа : Однотомное издание Шифр издания : Ар08-4163
Автор(ы) : Бахтин В.А.
Заглавие : Гибридная модель параллельного программирования DVM/OpenMP
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :24 с.:
ил
Примечания : Библиогр.: с. 24(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
12.
|
Вид документа : Однотомное издание Шифр издания : Ар05-5046
Автор(ы) : Бебчик А.М.
Заглавие : Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2005 Колич.характеристики :20 с.:
ил
Примечания : Библиогр.: с. 19-20(9 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.046(043) + 004.42.047(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
13.
|
Вид документа : Однотомное издание Шифр издания : АР91-3570
Автор(ы) : Берзигияров П.К.
Заглавие : Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11
Выходные данные : М., 1991 Колич.характеристики :20 с
Примечания : В надзаг.: Моск.энерг.ин-т. Библиогр.: с. 19-20(12 назв.).
ГРНТИ : 50.05.13 УДК : 004.415.28(043)
Экземпляры :ХР(1), (2) Свободны : ХР(1) Найти похожие
|
14.
|
Вид документа : Однотомное издание Шифр издания : АР02-6853
Автор(ы) : Берзигияров П.К.
Заглавие : Теория проблемно-ориентированных типовых алгоритмических структур с массивным параллелизмом
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :05.13.11
Выходные данные : Черноголовка, 2001 Колич.характеристики :32 c.:
ил.
+ 100 экз.
Примечания : В надзаг.: Ин-т проблем хим. физики РАН. Библиогр.: с. 27-32 (39 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
15.
|
Вид документа : Однотомное издание Шифр издания : Ар05-10164
Автор(ы) : Богданова В.Г.
Заглавие : Методы и инструментальные средства программирования в булевых ограничениях
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Иркутск, 2005 Колич.характеристики :21 c.:
ил
Примечания : Библиогр.: с. 20-21(14 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
16.
|
Вид документа : Однотомное издание Шифр издания : АР94-5433
Автор(ы) : Болтаев Т.Б.
Заглавие : Анализ и интерпретация незавершенных программ при структурном конструировании
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Новосибирск, 1994 Колич.характеристики :18 с.
Примечания : В надзаг.:Рос.АН.Сиб.отд-ние,Ин-т систем информатики.Библиогр.:с.18(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.2.043(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
17.
|
Вид документа : Однотомное издание Шифр издания : Ар03-3280
Автор(ы) : Борисенко М.Л.
Заглавие : Использование нечеткой модели при оптимизации характеристик программных средств с помощью многокритериального генетического алгоритма
: автореф. дис. ... канд. техн. наук : 05.13.12
Выходные данные : М., 2002 Колич.характеристики :22 с.:
ил.
Примечания : Библиогр.: с. 22(7 назв.)
ГРНТИ : 50.05.13 УДК : 004.422.8'416(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
18.
|
Вид документа : Однотомное издание Шифр издания : Ар08-8385
Автор(ы) : Бугеря А.Б.
Заглавие : Диалоговая отладка параллельных программ: распределенная схема взаимодействующих компонентов
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :22 с:
ил
Примечания : Библиогр.: с. 21-22
ГРНТИ : 50.05.13 УДК : 004.422.8'233(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
19.
|
Вид документа : Однотомное издание Шифр издания : Ар06-13873
Автор(ы) : Будагян Л.Э.
Заглавие : Об интерпретации строго типизированных функциональных программ
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2006 Колич.характеристики :18 с.
Примечания : Библиогр.: с. 17-18 (6 назв.). - В надзаг.:МГУ им. М.В. Ломоносова, Физ. вычислит. математики и кибернетики
ГРНТИ : 50.05.13 УДК : 004.42.046(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
20.
|
Вид документа : Однотомное издание Шифр издания : Ар14-14931
Автор(ы) : Буздалов М.В.
Заглавие : Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2014 Колич.характеристики :15 с.
Примечания : Библиогр.: с. 14-15 (17 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043) Ключевые слова (''Своб.индексиров.''): программирование--информатика
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
21.
|
Вид документа : Однотомное издание Шифр издания : АР94-1700
Автор(ы) : Булышева Л.А.
Заглавие : Разработка метода многофункционального совмещения при автоматизации параллельного программирования для VLIW-процессов
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11
Выходные данные : Новосибирск, 1993 Колич.характеристики :18 с
Примечания : В надзаг.Рос.АН. Сиб.отд-ние.Ин-т систем информатики: Библиогр.: с.17-18(10 назв.)
ГРНТИ : 50.05.13 + 50.33.03 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
22.
|
Вид документа : Однотомное издание Шифр издания : Ар04-4499
Автор(ы) : Валиков А.Н.
Заглавие : Модели и методы разработки крупномасштабных веб-приложений
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Уфа, 2003 Колич.характеристики :16 с.:
ил.
Примечания : Библиогр.: с. 16(14 назв.)
ГРНТИ : 50.05.13 УДК : 004.42:004.738.52(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
23.
|
Вид документа : Однотомное издание Шифр издания : Ар08-8063
Автор(ы) : Васильев П.К.
Заглавие : Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : СПб., 2008 Колич.характеристики :16 с.
Примечания : Библиогр.: с. 13-16. - В надзаг.: С.-Петерб. гос. ун-т
ГРНТИ : 50.05.13 УДК : 004.415.28(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
24.
|
Вид документа : Однотомное издание Шифр издания : АР95-2901
Автор(ы) : Васильев С.А.
Заглавие : Комплекс распределенного программирования C.dis
: Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11
Выходные данные : М., 1994 Колич.характеристики :19 с.:
ил
Примечания : В надзаг.: Рос.АН. Ин-т прикл. математики им. М.В.Келдыша. Библиогр.: с.19(5назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
25.
|
Вид документа : Однотомное издание Шифр издания : Ар04-11915
Автор(ы) : Владимирова Ю.С.
Заглавие : Компьютеризация булевой алгебры в диалоговой системе структурированного программирования
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2004 Колич.характеристики :18 с.:
ил
Примечания : Библиогр.: с. 17-18 (9 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычисл. математики и кибернетики
ГРНТИ : 50.05.13 УДК : 004.42.043(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
26.
|
Вид документа : Однотомное издание Шифр издания : Ар14-7252
Автор(ы) : Власенко А.Ю.
Заглавие : Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Томск, 2014 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 15-16 (9 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.2(043) Ключевые слова (''Своб.индексиров.''): программирование для эвм параллельное--программы--отладка
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
27.
|
Вид документа : Однотомное издание Шифр издания : Ар10-7037
Автор(ы) : Воронов В.Ю.
Заглавие : Методы разработки параллельных программ на основе машинного обучения
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2009 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 16 (11 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
28.
|
Вид документа : Однотомное издание Шифр издания : АР98-6140
Автор(ы) : Вылиток А.А.
Заглавие : Магазинные автоматы и характеризация регулярных языков
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11
Выходные данные : М., 1998 Колич.характеристики :8 с.
Примечания : В надзаг. :МГУ им.М.В.Ломоносова. Фак. вычислит. мат. и кибернетики. Библиогр.:с. 7-8(3 назв.)
ГРНТИ : 50.05.13 УДК : 004.422.8'413(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
29.
|
Вид документа : Однотомное издание Шифр издания : АР99-5460
Автор(ы) : Гаевой В.А.
Заглавие : Разработка способа и средств реализации программ на основе системы функциональных продукций
: Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11
Выходные данные : СПб, 1999 Колич.характеристики :16 с.:
ил.
Примечания : Библиогр.:с. 16(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.423.4(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
30.
|
Вид документа : Однотомное издание Шифр издания : Ар05-1414
Автор(ы) : Гаранина Н.О.
Заглавие : Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
: автореф. дис. ... кнд. физ.-мат. наук : 05.13.11
Выходные данные : новосибирск, 2004 Колич.характеристики :18 с.
Примечания : Библиогр.: с. 17-18(7 назв.). - В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.Ершова
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
|
|
|