Поисковый запрос: (<.>R=50.05.13$<.>) |
Общее количество найденных документов : 141
Показаны документы с 1 по 30 |
|
1. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар09-8036
Автор(ы) : Юсупов Ю.В.
Заглавие : Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2009 Колич.характеристики :18 с.:
ил
Примечания : Библиогр.: с. 17-18(9 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.28(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
2. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-9749
Автор(ы) : Шопырин Д.Г.
Заглавие : Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем
: автореф. дис. ... канд. техн. наук : 05.13.13
Выходные данные : СПб., 2005 Колич.характеристики :19 c.:
ил
Примечания : Библиогр.: с. 18(7 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.045(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
3. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-2161
Автор(ы) : Шматок А.В.
Заглавие : Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Таганрог, 2004 Колич.характеристики :18 с.:
ил
Примечания : Библиогр.: с. 17-18 (18 назв.).
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
4. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-1944
Автор(ы) : Швец Д.А.
Заглавие : Инструментальная поддержка процедурно-параметрической парадигмы программирования
: автореф. дис. ... канд.техн. наук : 05.13.11
Выходные данные : Красноярск, 2004 Колич.характеристики :18 с.
Примечания : Библиогр.: с. 17-18(12 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
5. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР94-1951
Автор(ы) : Чичиков А.В.
Заглавие : Методы и средства автоматического проектирования программ по операторным термам
: Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11
Выходные данные : Минск, 1994 Колич.характеристики :18 с.
Примечания : В надзаг.: Белорус. гос. ун-т информатики и радиоэлектроники. Библиогр.: с.18(3 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.2'22(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
6. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар04-10535
Автор(ы) : Цыгулин А.А.
Заглавие : Метод и алгоритмы автоматической генерации параллельных программ, реализующих численные методы на регулярных сетках
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Новосибирск, 2004 Колич.характеристики :20 c.:
ил.
Примечания : Библиогр.: с. 20 (3 назв.).
ГРНТИ : 50.05.13 УДК : 004.42.032.24'242(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
7. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар03-1569
Автор(ы) : Царьков Д.В.
Заглавие : Верификация распределенных программ методом проверки на модели
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2002 Колич.характеристики :21 с.
Примечания : В надзаг.: МГУ им. М.В.Ломоносова, Фак. вычислит. мат. и кибернетики. Библиогр.: с. 20-21(12 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
8. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар06-9404
Автор(ы) : Худов К.А.
Заглавие : Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2006 Колич.характеристики :20 с.:
ил
Примечания : Библиогр.: с. 19-20(7 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
9. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР02-5091
Автор(ы) : Фомин В.В.
Заглавие : Методология логического моделирования процесса разработки программного обеспечения на базе EDA-технологии
: Автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.06,05.13.11
Выходные данные : СПб., 2001 Колич.характеристики :53 с.:
ил.
Примечания : В надзаг.: С.-Петерб. гос. ун-т вод. коммуникаций. Библиогр.: с.51-53 (40 назв.)
ГРНТИ : 50.05.13 УДК : 004.42'22(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
10. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР02-5080
Автор(ы) : Филиппов В.А.
Заглавие : Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания
: Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.05
Выходные данные : СПб., 2001 Колич.характеристики :16 с.:
ил.
Примечания : Библиогр.: с.16 (5 назв.)
ГРНТИ : 50.33.14 + 50.05.13 УДК : 004.42(043) + 004.3'12(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
11. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар14-15525
Автор(ы) : Фереферов Е.С.
Заглавие : Технология автоматизации создания приложений баз данных с ГИС-функциональностью на основе их декларативных спецификаций
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Иркутск, 2014 Колич.характеристики :19 с.:
ил
Примечания : Библиогр.: с. 17-18 (17 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043) Ключевые слова (''Своб.индексиров.''): прикладные программные системы--языки программирования--инструментальные средства
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
12. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР00-5842
Автор(ы) : Феоктистов А.Г.
Заглавие : Графическая инструментальная среда для визуального построения и применения пакетов программ
: Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11
Выходные данные : Иркутск, 2000 Колич.характеристики :17 с.:
ил.
Примечания : В надзаг. :Рос.АН, Сиб.отд-ние, Ин-т динамики систем и теории упр. Библиогр.:с. 16-17 (15 назв.)
ГРНТИ : 50.05.13 УДК : 004.422.8'242(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
13. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-5019
Автор(ы) : Фадеев Р.В.
Заглавие : Разработка и исследование инструментальных средств многоязыковой трансляции
: автореф. дис. ... канд. техн. наук : 05.13.17, 05.13.11
Выходные данные : Таганрог, 2005 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 16(8 назв.)
ГРНТИ : 50.05.13 УДК : 004.422.8'4(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
14. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР00-5761
Автор(ы) : Удовиченко Р.В.
Заглавие : Отладка DVM-программ
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11
Выходные данные : М., 2000 Колич.характеристики :23 с.
Примечания : В надзаг. : МГУ им. М.В.Ломоносова. Фак. вычисл. математики и кибернетики. Библиогр.:с. 23 (3 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.2(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
15. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар15-6804
Автор(ы) : Удовиченко А.О.
Заглавие : Разработка комплексной методики снижения влияния эффекта "старения" программного обеспечения на работу многомашинной вычислительной системы, построенной на основе технологии виртуальных машин
: автореф. дис. ... канд. техн. наук : 05.13.15
Выходные данные : М., 2015 Колич.характеристики :24 с.:
ил
Примечания : Библиогр.: с. 23-24 (11 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.2(043) Ключевые слова (''Своб.индексиров.''): программное обеспечение--эффект старения--вычислительная система
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
16. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар15-6365
Автор(ы) : Удалова Ю.В.
Заглавие : Отладка и верификация функционально-потоковых параллельных программ
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Красноярск, 2015 Колич.характеристики :22 с.:
ил
Примечания : Библиогр.: с. 19-22 (20 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.2(043) + 004.4.052(043) + 004.415.5(043) Ключевые слова (''Своб.индексиров.''): программирование--отладка--надежность--верификация
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
17. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар11-1169
Автор(ы) : Тютюнник М.Б.
Заглавие : Разработка и исследование продукционной системы параллельного программирования
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Владивосток, 2010 Колич.характеристики :19 с.:
ил
Примечания : Библиогр.: с. 18-19 (21 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043) Ключевые слова (''Своб.индексиров.''): параллелное программирование--продукционный язык--продукционная система
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
18. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар14-4422
Автор(ы) : Трифанов В.Ю.
Заглавие : Динамическое обнаружение состояний гонки в многопоточных Java-программах
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2013 Колич.характеристики :17 с.:
ил
Примечания : Библиогр.: с. 17 (5 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043) Ключевые слова (''Своб.индексиров.''): программирование для эвм параллельное
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
19. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР02-4956
Автор(ы) : Топоркова А.С.
Заглавие : Исследование динамических характеристик программ на масштабируемых ресурсах
: Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11
Выходные данные : М., 2001 Колич.характеристики :19 с.:
ил.
Примечания : Библиогр.: с. 18-19 (7 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
20. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР01-3752
Автор(ы) : Томаев М.Х.
Заглавие : Система автоматизированного проектирования оптимальных программных комплексов
: Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12
Выходные данные : Владикавказ, 2000 Колич.характеристики :23 с.
Примечания : Библиогр.:с. 23(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.2'22(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
21. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар03-750
Автор(ы) : Терехов А.А.
Заглавие : Языковые преобразования в задачах реинжиниринга программного обеспечения
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : СПб., 2002 Колич.характеристики :14 с.
Примечания : В надзаг.: С.-Петерб. гос. ун-т. Библиогр.: с. 12-14(27 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.6(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
22. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР97-3364
Автор(ы) : Стукалов Д.Ю.
Заглавие : Функциональное программирование в алгоритмах перебора
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09
Выходные данные : СПб, 1997 Колич.характеристики :15 с.
Примечания : В надзаг. :С.-Петерб. гос. ун-т. Библиогр.:с. 15(16 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.046(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
23. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар03-13544
Автор(ы) : Столяров А.В.
Заглавие : Интеграция разнородных языковых механизмов в рамках одного языка программирования
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2002 Колич.характеристики :15 с.
Примечания : В надзаг.: МГУ им. М.В.Ломоносова. Библиогр.: с. 15(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
24. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар10-6139
Автор(ы) : Степанов О.Г.
Заглавие : Методы реализации автоматных объектно-ориентированных программ
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2009 Колич.характеристики :15 с
Примечания : Библиогр.: с. 15 (4 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.045(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
25. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-10254
Автор(ы) : Степанов А.Г.
Заглавие : Архитектуры и методы проектирования мигрирующих систем
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2005 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 15-16(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.42:004.7(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
26. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар09-6394
Автор(ы) : Стасенко А.П.
Заглавие : Модели и реализация транслирующих компонентов системы функционального программирования
: автореф. дис. ... канд. фз.-мат. наук : 05.13.11
Выходные данные : Новосибирск, 2009 Колич.характеристики :22 с.
Примечания : Библиогр.: с. 20-22(20 назв.). - В надзаг.:Рос. АН, Сиб. отд-ние, Ин-т сстем информатики им. А.П. Ершова
ГРНТИ : 50.05.13 УДК : 004.42.046(043) + 004.422.8'41(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
27. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар07-1792
Автор(ы) : Стасенко А.П.
Заглавие : Модели и реализация транслирующих компонентов системы функционального программирования
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : Новосибирск, 2006 Колич.характеристики :20 с.
Примечания : Библиогр.: с. 19-20(12 назв.). - В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова
ГРНТИ : 50.05.13 УДК : 004.42.046(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
28. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар13-3547
Автор(ы) : Стариковская Т.А.
Заглавие : Эффективные алгоритмы для некоторых задач обработки слов
: автореф. дис. ... канд. физ.-мат. наук : 01.01.06
Выходные данные : М., 2013 Колич.характеристики :13 с.
Примечания : Библиогр.: с. 13 (5 назв.) . - В надзаг.: МГУ им. М.В Ломоносова
ГРНТИ : 50.05.13 + 28.25.23 УДК : 004.42(043) + 004.421(043) Ключевые слова (''Своб.индексиров.''): обработка информации--программирование--алгоритмизация
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
29. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар04-10451
Автор(ы) : Серебряный К.С.
Заглавие : Методы высокоуровневой оптимизации циклов
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2004 Колич.характеристики :18 с.:
ил.
Примечания : Библиогр.: с. 18(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.422.8'416(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
30. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-1409
Автор(ы) : Саранцев П.В.
Заглавие : Верификация программного обеспечения информационно-диагностического оборудования системы управления и защиты атомных энергетических реакторов
: автореф. дис. ... канд. техн. наук : 05.13.01, 05.13.11
Выходные данные : М., 2004 Колич.характеристики :27 с.:
ил
Примечания : Библиогр.: с. 26(6 назв.)
ГРНТИ : 50.05.13 + 58.33.35 УДК : 004.415.5(043) + 621.039.538(043) + 621.039.56(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
|
|
|