Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
121. | Янкелевич, Андрей Александрович | Графическая модель для спецификации и синтеза интерфейса пользователя автоматизированных информационных систем : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 174 с. 61 02-5/615-0 Электронный ресурс |
Санкт-Петербург, 2001 |
описание
загрузить в подборку |
122. | Алфимцев, Александр Николаевич | Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов : автореферат дис. ... доктора технических наук : 05.13.11 / Алфимцев Александр Николаевич; [Место защиты: Ин-т проблем упр. им. В.А. Трапезникова РАН] Количество страниц: 38 с. 9 16-5/1728 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
123. | Бугеря, Александр Борисович | Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов : диссертация ... кандидата физико-математических наук : 05.13.11 / Бугеря Александр Борисович ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 79 с. ил. 61 08-1/654 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
124. | Бугеря, Александр Борисович | Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Бугеря Александр Борисович ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 22 с. 9 08-5/582 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
125. | Шамин, Алексей Алексеевич | Динамическая адаптация вычислительного процесса микропроцессорного терминала для управления передачей метеоданных : диссертация ... кандидата технических наук : 05.13.11 / Шамин Алексей Алексеевич; [Место защиты: Том. политехн. ун-т] Количество страниц: 146 с. ил. 61 10-5/1268 Электронный ресурс |
Томск, 2009 |
описание
загрузить в подборку |
126. | Чупилко, Михаил Михайлович | Динамическая верификация цифровой аппаратуры на основе формальных спецификаций : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Чупилко Михаил Михайлович; [Место защиты: Ин-т систем. программирования] Количество страниц: 24 с. 9 12-2/4005 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
127. | Трифанов, Виталий Юрьевич | Динамическое обнаружение состояний гонки в многопоточных JAVA-программах : автореферат дис. ... кандидата технических наук : 05.13.11 / Трифанов Виталий Юрьевич; [Место защиты: Нац. исслед. ун-т информ. технологий, механики и оптики] Количество страниц: 17 с. 9 14-1/3844 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
128. | Гречаник, Сергей Александрович | Доказательство свойств функциональных программ методом насыщения равенствами : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Гречаник Сергей Александрович ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 20 с. 9 18-1/77 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
129. | Вдовин, Павел Максимович | Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Вдовин Павел Максимович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 26 с. 9 16-1/1146 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
130. | Ларченко, Алексей Викторович | Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде Грид : автореферат дис. ... кандидата технических наук : 05.13.11 / Ларченко Алексей Викторович; [Место защиты: С.-Петерб. гос. ун-т информац. технологий, механики и оптики] Количество страниц: 18 с. 9 09-1/1317 Электронный ресурс |
Санкт-Петербург, 2008 |
описание
загрузить в подборку |
131. | Ларченко, Алексей Викторович | Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде Грид : диссертация ... кандидата технических наук : 05.13.11 / Ларченко Алексей Викторович; [Место защиты: С.-Петерб. гос. ун-т информац. технологий, механики и оптики] Количество страниц: 114 с. ил. 61 09-5/457 Электронный ресурс |
Санкт-Петербург, 2008 |
описание
загрузить в подборку |
132. | Редькина, Александра Васильевна | Инструментальная поддержка методов обучения алгоритмизации : диссертация ... кандидата технических наук : 05.13.11 / Редькина Александра Васильевна; [Место защиты: Сиб. федер. ун-т] Количество страниц: 141 с. ил. 61 08-5/804 Электронный ресурс |
Красноярск, 2008 |
описание
загрузить в подборку |
133. | Бовкун, Александр Яковлевич | Инструментальная поддержка подключаемых модулей в языках процедурно-параметрического программирования : диссертация ... кандидата технических наук : 05.13.11 / Бовкун Александр Яковлевич; [Место защиты: Сиб. федер. ун-т] Количество страниц: 187 с. ил. 61 11-5/1218 Электронный ресурс |
Красноярск, 2010 |
описание
загрузить в подборку |
134. | Швец, Дмитрий Александрович | Инструментальная поддержка процедурно-параметрической парадигмы программирования : автореферат дис. ... кандидата технических наук : 05.13.11 / Краснояр. гос. техн. ун-т Количество страниц: 18 с. 9 04-13/3600-1 9 04-13/3601-X Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
135. | Швец, Дмитрий Александрович | Инструментальная поддержка процедурно-параметрической парадигмы программирования : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 180 с. ил. 61 05-5/1782 Электронный ресурс |
Красноярск, 2004 |
описание
загрузить в подборку |
136. | Серебряков, Сергей Валерьевич | Инструментальная поддержка распределенного обучения и принятия решений в открытых сетях агентов : автореферат дис. ... кандидата технических наук : 05.13.11 / Серебряков Сергей Валерьевич; [Место защиты: С.-Петерб. ин-т информатики и автоматизации РАН] Количество страниц: 18 с. 9 08-3/424 Электронный ресурс |
Санкт-Петербург, 2008 |
описание
загрузить в подборку |
137. | Загарских, Александр Сергеевич | Инструментальная среда разработки геоинформационных систем поддержки принятия решений по управлению урбанизированными территориями : диссертация ... кандидата технических наук : 05.13.11 / Загарских Александр Сергеевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 122 с. ил. 61 15-5/504 Электронный ресурс |
Санкт-Петербург, 2014 |
описание
загрузить в подборку |
138. | Хабибуллин, Фуат Ришадович | Инструментальные программные средства для разработки и сопровождения организационно-функциональной модели : На примере машиностроительного предприятия : автореферат дис. ... кандидата технических наук : 05.13.11 / Уфим. гос. авиац.-техн. ун-т Количество страниц: 16 с. 9 05-10/1698-0 9 05-10/1699-9 Электронный ресурс |
Уфа, 2005 |
описание
загрузить в подборку |
139. | Григорьев, Денис Алексеевич | Инструментальные средства для нейросетевого моделирования и управления транспортными потоками на перекрестках : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 112 с. ил. 61 04-5/3111 Электронный ресурс |
Уфа, 2004 |
описание
загрузить в подборку |
140. | Чеснавский, Александр Александрович | Инструментальные средства интеграции контента унаследованных веб-приложений в единое информационное пространство предприятия : диссертация ... кандидата технических наук : 05.13.11 / Чеснавский Александр Александрович; [Место защиты: Моск. гос. инженерно-физ. ин-т] Количество страниц: 144 с. ил. 61 09-5/2357 Электронный ресурс |
Москва, 2009 |
описание
загрузить в подборку |