Поисковый запрос: (<.>R=50.05.13$<.>) |
Общее количество найденных документов : 141
Показаны документы с 1 по 30 |
|
1. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар07-2716
Автор(ы) : Кудрявцев М.В.
Заглавие : Автоматизация отладки параллельных программ
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2006 Колич.характеристики :18 с.:
ил
Примечания : Библиогр.: с. 18 (5 назв.). - В надзаг.: МГУ им. М.В. Ломоносова
ГРНТИ : 50.05.13 УДК : 004.416.2(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
2. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР02-2002
Автор(ы) : Лысенко О.Н.
Заглавие : Автоматизированная система программирования траекторий технологических манипуляционных роботов для операций механообработки
: Автореферат диссертации на соискание ученой степени канд. техн. наук :05.02.05
Выходные данные : М., 2001 Колич.характеристики :18 с.
+ 100 экз.
Примечания : В надзаг.: Моск. гос. технол. ун-т "СТАНКИН". Библиогр.: с. 18(5 назв.)
ГРНТИ : 50.05.13 + 55.29.33 УДК : 621.9.06-529.1:004(043))
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
3. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар14-7252
Автор(ы) : Власенко А.Ю.
Заглавие : Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Томск, 2014 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 15-16 (9 назв.)
ГРНТИ : 50.05.13 УДК : 004.416.2(043) Ключевые слова (''Своб.индексиров.''): программирование для эвм параллельное--программы--отладка
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
4. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар07-1428
Автор(ы) : Кручинин А.Н.
Заглавие : Автоматическая генерация программных компонент по выскоуровневым спецификациям
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Ростов н/Д, 2006 Колич.характеристики :22 с.
Примечания : Библиогр.: с. 21-22
ГРНТИ : 50.05.13 УДК : 004.416(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
5. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар10-28272
Автор(ы) : Мазин М.А.
Заглавие : Автоматное программирование для среды языково-ориентированного программирования
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2010 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 15-16 (24 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.045(043) Ключевые слова (''Своб.индексиров.''): автоматное программирование--объектно-ориентированное программирование--языково-ориентированное программирование--языковая поддержка--валидация--многопоточность
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
6. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар07-2903
Автор(ы) : Касьянова Е.В.
Заглавие : Адаптивные методы и средства поддержки дистанционного обучения программированию
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : Новосибирск, 2006 Колич.характеристики :26 с.
Примечания : Библиогр.: с. 24-26(21 назв.). - В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова
ГРНТИ : 50.05.13 УДК : 004.42(07.07)(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
7. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар11-7130
Автор(ы) : Кузьмин Е.В.
Заглавие : Алгоритмические свойства формальных моделей параллельных и распределенных систем
: автореф. дис. ... д-ра физ.-мат. наук : 05.13.17
Выходные данные : Ярославль, 2011 Колич.характеристики :43 с.:
ил
Примечания : Библиогр.: с. 38-43 (42 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): параллельные вычисления--вычислительные системы распределенные--формальные модели--верификация
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
8. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар07-4931
Автор(ы) : Липинский Л.В.
Заглавие : Алгоритмы генетического программирования для формирования интеллектуальных информационных технологий
: автореф. дис. ... канд. техн. наук : 05.13.01
Выходные данные : Красноярск, 2006 Колич.характеристики :20 с.
Примечания : Библиогр.: с. 18-20 (22 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
9. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР94-5433
Автор(ы) : Болтаев Т.Б.
Заглавие : Анализ и интерпретация незавершенных программ при структурном конструировании
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Новосибирск, 1994 Колич.характеристики :18 с.
Примечания : В надзаг.:Рос.АН.Сиб.отд-ние,Ин-т систем информатики.Библиогр.:с.18(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.2.043(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
10. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-10414
Автор(ы) : Горшкова Е.А.
Заглавие : Анализ и разработка методов и средств моделирования интернет-приложений
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : СПб., 2005 Колич.характеристики :14 с.
Примечания : Библиогр.: с. 11-14. - В надзаг.: С.-Петерб. гос. ун-т
ГРНТИ : 50.05.13 УДК : 004.42:004.738.52(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
11. ![](/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) Найти похожие
|
12. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар04-4263
Автор(ы) : Окунев С.К.
Заглавие : Базовые методы оптимизации на предикатном представлении программы для архитектур с явно выраженной параллельностью
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : М., 2003 Колич.характеристики :24 с.
Примечания : В надзаг.: Ин-т микропроцес. вычислит. систем РАН. Библиогр.: с. 23-24
ГРНТИ : 50.05.13 УДК : 004.422.8'416(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
13. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар12-10501
Автор(ы) : Марьясов И.В.
Заглавие : Верификация C-программ с помощью смешанной аксиоматической семантики
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : Новосибирск, 2012 Колич.характеристики :18 с.
Примечания : Библиогр.: с. 15-17 (11 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
14. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар14-15489
Автор(ы) : Лукин М.А.
Заглавие : Верификация автоматных программ
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2014 Колич.характеристики :16 с.:
ил
Примечания : Библиогр.: с. 15-16 (11 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): модели управляющих автоматов--spin-модель
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
15. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар08-7785
Автор(ы) : Кубасов С.В.
Заглавие : Верификация автоматных программ в контексте синхронного программирования
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : Ярославль, 2008 Колич.характеристики :19 с:
ил
Примечания : Библиогр.: с. 18-19(7 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
16. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар12-21106
Автор(ы) : Мутилин В.С.
Заглавие : Верификация драйверов операционной системы Linux при помощи предикатных абстракций
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2012 Колич.характеристики :26 с.:
ил
Примечания : Библиогр.: с. 25-26 (14 назв.). - В надзаг.: Ин-т системного программированя Рос. акад. наук
ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): операционная система linux--драйверы--верификация
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
17. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар08-8313
Автор(ы) : Коннов И.В.
Заглавие : Верификация параметризированных моделей распределенных систем
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :26 с.
Примечания : Библиогр.: с. 25-26(7 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
18. ![](/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) Найти похожие
|
19. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар03-1569
Автор(ы) : Царьков Д.В.
Заглавие : Верификация распределенных программ методом проверки на модели
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2002 Колич.характеристики :21 с.
Примечания : В надзаг.: МГУ им. М.В.Ломоносова, Фак. вычислит. мат. и кибернетики. Библиогр.: с. 20-21(12 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
20. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар05-1414
Автор(ы) : Гаранина Н.О.
Заглавие : Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
: автореф. дис. ... кнд. физ.-мат. наук : 05.13.11
Выходные данные : новосибирск, 2004 Колич.характеристики :18 с.
Примечания : Библиогр.: с. 17-18(7 назв.). - В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.Ершова
ГРНТИ : 50.05.13 УДК : 004.415.5(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
21. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР00-9967
Автор(ы) : Кознов Д.В.
Заглавие : Визуальное моделирование компонентного программного обеспечения
: Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11
Выходные данные : СПб., 2000 Колич.характеристики :14 с.:
ил.
Примечания : В надзаг. :С.-Петерб. гос. ун-т. Библиогр.:с. 13-14(19 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
22. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР99-4460
Автор(ы) : Мошков М.Ю.
Заглавие : Временная сложность деревьев решений
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09
Выходные данные : М., 1999 Колич.характеристики :21 с.
Примечания : В надзаг. :МГУ им.М.В.Ломоносова. Мех.-мат. фак. Библиогр.:с. 19-21(28 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
23. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар09-19440
Автор(ы) : Адинец А.В.
Заглавие : Высокоуровневая система программирования графических процессорных устройств
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2009 Колич.характеристики :17 с.:
ил
Примечания : Библиогр.: с. 17(5 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
24. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР10-29867
Автор(ы) : Ключников И.Г.
Заглавие : Выявление и доказательство свойств функциональных программ методами суперкомпиляции
: автореф. дис. ... канд. физ.-мат. наук : 05/13/11
Выходные данные : М., 2010 Колич.характеристики :20 с.
Примечания : Библиогр.: с. 20 (10 назв.)
ГРНТИ : 50.05.13 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация--программирования язык haskell
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
25. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар14-14931
Автор(ы) : Буздалов М.В.
Заглавие : Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов
: автореф. дис. ... канд. техн. наук : 05.13.11
Выходные данные : СПб., 2014 Колич.характеристики :15 с.
Примечания : Библиогр.: с. 14-15 (17 назв.)
ГРНТИ : 50.05.13 УДК : 004.42(043) Ключевые слова (''Своб.индексиров.''): программирование--информатика
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
26. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар08-4163
Автор(ы) : Бахтин В.А.
Заглавие : Гибридная модель параллельного программирования DVM/OpenMP
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :24 с.:
ил
Примечания : Библиогр.: с. 24(6 назв.)
ГРНТИ : 50.05.13 УДК : 004.42.032.24(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
27. ![](/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) Найти похожие
|
28. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : Ар08-8385
Автор(ы) : Бугеря А.Б.
Заглавие : Диалоговая отладка параллельных программ: распределенная схема взаимодействующих компонентов
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2008 Колич.характеристики :22 с:
ил
Примечания : Библиогр.: с. 21-22
ГРНТИ : 50.05.13 УДК : 004.422.8'233(043)
Экземпляры :ХР(1) Свободны : ХР(1) Найти похожие
|
29. ![](/irbis64r_simplesite/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : АР91-16625
Автор(ы) : Петрушенко А.Н.
Заглавие : Диалоговые преобразования схем программ в алгоритмических алгебрах
: Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11
Выходные данные : Киев, 1991 Колич.характеристики :16 с
Примечания : В надзаг.: АН Украины,Ин-т кибернетки им.В.М.Глушкова. Библиогр.: с. 16(4назв.).
ГРНТИ : 50.05.13 УДК : 004.415.2(043)
Экземпляры :ХР(1), (2) Свободны : ХР(1) Найти похожие
|
30. ![](/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) Найти похожие
|
|
|
|