Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
81. | Ефимов, Владимир Владимирович | Анализ и синтез методов быстрого преобразования Фурье с деформируемой осью частот : автореферат дис. ... кандидата технических наук : 05.13.05;05.13.11 / МГТУ им. Н. Э. Баумана Количество страниц: 15 с. 9 94-1/3388-x 9 94-1/3389-8 Электронный ресурс |
Москва, 1994 |
описание
загрузить в подборку |
82. | Леонтьев, Андрей Евгеньевич | Анализ использования ресурсов встроенных систем реального времени на основе графических спецификаций : автореферат дис. ... кандидата технических наук : 05.13.11 / С.-Петерб. гос. ун-т аэрокосм. приборостроения Количество страниц: 21 с. 9 05-8/3264-4 9 05-8/3265-2 Электронный ресурс |
Санкт-Петербург, 2005 |
описание
загрузить в подборку |
83. | Полуян, Степан Вячеславович | Анализ обращений программы к памяти в оптимизирующей распараллеливающей системе : автореферат дис. ... кандидата технических наук : 05.13.11 / Полуян Степан Вячеславович; [Место защиты: Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] Количество страниц: 18 с. 9 11-6/936 Электронный ресурс |
Санкт-Петербург, 2011 |
описание
загрузить в подборку |
84. | Макошенко, Денис Валентинович | Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации : диссертация ... кандидата физико-математических наук : 05.13.11 / Макошенко Денис Валентинович; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН] Количество страниц: 122 с. ил. 61 12-1/349 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
85. | Макошенко, Денис Валентинович | Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Макошенко Денис Валентинович; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН] Количество страниц: 23 с. 9 11-6/675 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
86. | Сухорукова, Ольга Борисовна | Архитектура и методика реализации специализированных программных систем подбора персонала : диссертация ... кандидата технических наук : 05.13.11 / Сухорукова Ольга Борисовна; [Место защиты: Юж. федер. ун-т] Количество страниц: 146 с. ил. 61 09-5/1776 Электронный ресурс |
Ростов-на-Дону, 2009 |
описание
загрузить в подборку |
87. | Иванов, Алексей Владимирович | Архитектура и программная инфраструктура систем управления контентом и модели описания их функционирования : автореферат дис. ... кандидата технических наук : 05.13.11 / Иванов Алексей Владимирович; [Место защиты: Федер. исслед. центр "Информатика и упр." РАН] Количество страниц: 22 с. 9 18-5/1058 Электронный ресурс |
Москва, 2018 |
описание
загрузить в подборку |
88. | Савельев, Антон Игоревич | Архитектуры, алгоритмы и программные средства обработки потоков многомодальных данных в пиринговых веб-приложениях видеоконференцсвязи : автореферат дис. ... кандидата технических наук : 05.13.11 / Савельев Антон Игоревич; [Место защиты: С.-Петерб. ин-т информатики и автоматизации РАН] Количество страниц: 17 с. 9 16-5/1972 Электронный ресурс |
Санкт-Петербург, 2016 |
описание
загрузить в подборку |
89. | Карпов, Алексей Анатольевич | Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях : автореферат дис. ... доктора технических наук : 05.13.11 / Карпов Алексей Анатольевич; [Место защиты: С.-Петерб. ин-т информатики и автоматизации РАН] Количество страниц: 34 с. 9 13-3/805 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
90. | Карпов, Алексей Анатольевич | Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях : диссертация ... доктора технических наук : 05.13.11 / Карпов Алексей Анатольевич; [Место защиты: С.-Петерб. ин-т информатики и автоматизации РАН] Количество страниц: 325 с. ил. 71 14-5/117 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
91. | Бредихин, Руслан Николаевич | Библиотека классов для кластеризации и распознавания топологических форм : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 177 с. ил. 61 07-5/2294 Электронный ресурс |
Москва, 2007 |
описание
загрузить в подборку |
92. | Бредихин, Руслан Николаевич | Библиотека классов для кластеризации и распознавания топологических форм : автореферат дис. ... кандидата технических наук : 05.13.11 / Моск. энергет. ин-т Количество страниц: 20 с. 9 07-2/1115 Электронный ресурс |
Москва, 2007 |
описание
загрузить в подборку |
93. | Беляев, Владимир Константинович | Библиотека пользовательского интерфейса для встроенных и мобильных вычислительных устройств : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 94 с. ил. 61 05-5/369 Электронный ресурс |
Москва, 2004 |
описание
загрузить в подборку |
94. | Зуев, Михаил Сергеевич | Блочные символьные матричные алгоритмы : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Зуев Михаил Сергеевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 17 с. 9 08-2/3389 Электронный ресурс |
Тамбов, 2008 |
описание
загрузить в подборку |
95. | Лукин, Михаил Андреевич | Верификация автоматных программ : автореферат дис. ... кандидата технических наук : 05.13.11 / Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 16 с. 9 14-4/1382 Электронный ресурс |
Санкт-Петербург, 2014 |
описание
загрузить в подборку |
96. | Лукин, Михаил Андреевич | Верификация автоматных программ : диссертация ... кандидата технических наук : 05.13.11 / Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 185 с. ил. 61 15-5/537 Электронный ресурс |
Санкт-Петербург, 2014 |
описание
загрузить в подборку |
97. | Кубасов, Сергей Валерьевич | Верификация автоматных программ в контексте синхронного программирования : автореферат дис. ... кандидата технических наук : 05.13.11 / Кубасов Сергей Валерьевич; [Место защиты: Ин-т програм. систем РАН] Количество страниц: 19 с. 9 09-1/2453 Электронный ресурс |
Ярославль, 2008 |
описание
загрузить в подборку |
98. | Кубасов, Сергей Валерьевич | Верификация автоматных программ в контексте синхронного программирования : диссертация ... кандидата технических наук : 05.13.11 / Кубасов Сергей Валерьевич; [Место защиты: Ин-т програм. систем РАН] Количество страниц: 122 с. ил. 61 09-5/192 Электронный ресурс |
Ярославль, 2008 |
описание
загрузить в подборку |
99. | Гаранина, Наталья Олеговна | Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : диссертация ... кандидата физико-математических наук : 05.13.11 Количество страниц: 165 с. 61 05-1/426 Электронный ресурс |
Новосибирск, 2004 |
описание
загрузить в подборку |
100. | Гаранина, Наталья Олеговна | Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Ин-т систем информатики им. А.П. Ершова СО РАН Количество страниц: 18 с. 9 04-13/1595-0 9 04-13/1596-9 Электронный ресурс |
Новосибирск, 2004 |
описание
загрузить в подборку |