Поисковый запрос: (<.>U=004.42(043)<.>) |
Общее количество найденных документов : 29
Показаны документы с 1 по 20 |
|
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-1376
Абрамов, С. М. Метавычисления и их применение [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / С. М. Абрамов. - Переславль-Залесский, 1995. - 31 с Библиогр.:с. 31 (8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-10164
Богданова, В. Г. Методы и инструментальные средства программирования в булевых ограничениях [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В.Г. Богданова. - Иркутск, 2005. - 21 c. : ил. - Библиогр.: с. 20-21(14 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар14-14931
Буздалов, М. В. Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / М. В. Буздалов. - СПб., 2014. - 15 с. - Библиогр.: с. 14-15 (17 назв.). - 100 экз.
Кл.слова (ненормированные): программирование -- информатика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2901
Васильев, С. А. Комплекс распределенного программирования C.dis [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / С. А. Васильев. - М., 1994. - 19 с. : ил В надзаг.: Рос.АН. Ин-т прикл. математики им. М.В.Келдыша. Библиогр.: с.19(5назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-6829
Гаврилов, А. В. Настраиваемая система программирования для категориальных вычислений [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. В. Гаврилов. - М., 1995. - 16 с. : ил В надзаг.: Моск.гос.инж.-физ.ин-т(техн.ун-т). Библиогр.:с.15-16(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар04-3975
Грибок, С. В. О реализации функций алгебры логики в некоторых классах программ [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. В. Грибок. - М., 2003. - 17 с. Библиогр.: с. 17 (5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-11525
Данг Чыонг Шон Разработка интеллектуальной системы программирования [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон. - Киев, 1992. - 15 с В надзаг.: Киев.гос.ун-т им.Т.Шевченко. Библиогр.: с.15(3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-6351
Ибадулла, С. И. Решение задачи синтеза системы управления методом вариационного генетического программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / С. И. Ибадулла. - М., 2015. - 22 с. : ил. - Библиогр.: с. 21-22. - 100 экз.
Кл.слова (ненормированные): роботы мобильные -- системы управления -- генетическое программирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар05-3854
Иосенкин, В. Я. Технология контекстного программирования и ее применение [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / В. Я. Иосенкин. - М., 2005. - 23 с. : ил. - Библиогр.: с. 21-23 (18 назв.). В надзаг.: Рос. АН, Ин-т проблем упр. им. В.А. Трапезникова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-1606
Карпова, Н. Н. Исследование и реализация функционально-логической парадигмы программирования с использованием формализма направленных отношений [Текст] : автореферат диссертации на соискание ученой степени канд. фимз.-мат. наук: 05.13.17 / Н. Н. Карпова. - М., 1998. - 20 с. : ил. Библиогр.:с. 18-20(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| АР00-9967
Кознов, Д. В. Визуальное моделирование компонентного программного обеспечения [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Д. В. Кознов. - СПб., 2000. - 14 с. : ил. В надзаг. :С.-Петерб. гос. ун-т. Библиогр.:с. 13-14(19 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-503
Колесник, И. П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник. - М., 1991. - 24 с. : ил В надзаг.: Ин-т точной механики и вычисл.техники им.С.А.Лебедева АН СССР. Библиогр.: с. 22-24.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар15-8834
Кривчиков, М. А. Формальные модели и верификация свойств программ с использованием промежуточного представления [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / М. А. Кривчиков. - М., 2015. - 24 с. - Библиогр.: с. 21-24 (11 назв.). - 100 экз.
Кл.слова (ненормированные): программное обеспечение -- верификация свойств программ
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар11-4753
Лебедев, А. С. Разработка и исследование системы концептуального программирования с использованием лингвистического процессора [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. С. Лебедев. - М., 2011. - 22 с. : ил. - Библиогр.: с. 21-22 (9 назв.)
Кл.слова (ненормированные): концептуальное программирование -- автоматическое понимание текстов -- автоматическая обработка текстов -- объектно-ориентированные языки программирования -- языки описания данных -- естественно-языковые спецификаторы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар07-13273
Легалов, И. А. Эволюционно расширяемые и повторно используемые языковые средства процедурно-параметрической парадигмы программирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / И. А. Легалов. - Красноярск, 2007. - 18 с. : ил. - Библиогр.: с. 17-18(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар07-4931
Липинский, Л. В. Алгоритмы генетического программирования для формирования интеллектуальных информационных технологий [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Л. В. Липинский. - Красноярск, 2006. - 20 с. - Библиогр.: с. 18-20 (22 назв.). - 100 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар07-13055
Мамонтов, А. И. Функциональные системы полиномов и их применение в программировании для вычислительных систем и сетей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. И. Мамонтов. - М., 2007. - 20 с. : ил. - Библиогр.: с. 19-20(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-3356
Марков, А. С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости [Текст] : дис...д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков. - М., 1990. - 68 с В надзаг.: Н.-и.центр электронной вычислит.техники. Библиогр.: с. 58-68(107 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>19. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-4328
Мартьянов, В. И. Логико-эвристические методы поиска рациональных решений прикладных и теоретических задач [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / В. И. Мартьянов. - Иркутск, 1996. - 26 с. Библиогр.:с. 18-26
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>20. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-4460
Мошков, М. Ю. Временная сложность деревьев решений [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / М. Ю. Мошков. - М., 1999. - 21 с. В надзаг. :МГУ им.М.В.Ломоносова. Мех.-мат. фак. Библиогр.:с. 19-21(28 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|