Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие ▼ | Данные | Действия |
---|---|---|---|---|
621. | Шошмина, Ирина Владимировна | Метод разработки формальных контекстных требований для верификации программных систем логического управления : автореферат дис. ... кандидата технических наук : 05.13.11 / Шошмина Ирина Владимировна; [Место защиты: С.-Петерб. политехн. ун-т] Количество страниц: 18 с. 9 15-5/34 Электронный ресурс |
Санкт-Петербург, 2015 |
описание
загрузить в подборку |
622. | Петрова, Ирина Анатольевна | Метод проектирования метаэвристических алгоритмов дискретной оптимизации, использующих вспомогательные оптимизируемые критерии, основанный на обучении с подкреплением : автореферат дис. ... кандидата технических наук : 05.13.11 / Петрова Ирина Анатольевна; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 16 с. 9 18-5/2120 Электронный ресурс |
Санкт-Петербург, 2018 |
описание
загрузить в подборку |
623. | Калиновский, Илья Андреевич | Метод нейросетевого детектирования лиц в видеопотоке сверхвысокого разрешения : диссертация ... кандидата технических наук : 05.13.11 / Калиновский Илья Андреевич; [Место защиты: Нац. исслед. Том. гос. ун-т] Количество страниц: 190 с. ил. 61 17-5/555 Электронный ресурс |
Томск, 2016 |
описание
загрузить в подборку |
624. | Сидорин, Алексей Васильевич | Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : автореферат дис. ... кандидата технических наук : 05.13.11 / Сидорин Алексей Васильевич; [Место защиты: Нац. исслед. ун-т МЭИ] Количество страниц: 19 с. 9 17-5/554 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
625. | Сидорин, Алексей Васильевич | Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора : диссертация ... кандидата технических наук : 05.13.11 / Сидорин Алексей Васильевич; [Место защиты: Нац. исслед. ун-т МЭИ] Количество страниц: 157 с. ил. 61 17-5/1734 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
626. | Галушка, Василий Викторович | Метод и средства верификации баз данных на основе нейросетевых технологий : автореферат дис. ... кандидата технических наук : 05.13.11 / Галушка Василий Викторович; [Место защиты: Юж. федер. ун-т] Количество страниц: 18 с. 9 13-3/1931 Электронный ресурс |
Ростов-на-Дону, 2013 |
описание
загрузить в подборку |
627. | Новиков, Дмитрий Борисович | Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем : автореферат дис. ... кандидата технических наук : 05.13.11 / Новиков Дмитрий Борисович; [Место защиты: Моск. гос. ун-т приборостроения и информатики] Количество страниц: 19 с. 9 12-3/966 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |
628. | Лавров, Андрей Александрович | Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP : автореферат дис. ... кандидата технических наук : 05.13.11 / Лавров Андрей Александрович; [Место защиты: С.-Петерб. гос. электротехн. ун-т (ЛЭТИ)] Количество страниц: 18 с. 9 13-4/986 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
629. | Лавров, Андрей Александрович | Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP : диссертация ... кандидата технических наук : 05.13.11 / Лавров Андрей Александрович; [Место защиты: С.-Петерб. гос. электротехн. ун-т (ЛЭТИ)] Количество страниц: 138 с. ил. 61 14-5/480 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
630. | Нураев, Имангазали Юнусович | Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования : диссертация ... кандидата технических наук : 05.13.11 / Нураев Имангазали Юнусович; [Место защиты: Моск. гос. ин-т радиотехники, электроники и автоматики] Количество страниц: 148 с. ил. 61 13-5/1392 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
631. | Нураев, Имангазали Юнусович | Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования : автореферат дис. ... кандидата технических наук : 05.13.11 / Нураев Имангазали Юнусович; [Место защиты: Моск. гос. ин-т радиотехники, электроники и автоматики] Количество страниц: 20 с. 9 13-2/3464 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
632. | Цыгулин, Алексей Александрович | Метод и алгоритмы автоматической генерации параллельных программ, реализующих численные методы на регулярных сетках : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 162 с. ил. 61 04-5/3524 Электронный ресурс |
Новосибирск, 2004 |
описание
загрузить в подборку |
633. | Волканов, Дмитрий Юрьевич | Метод выбора сбалансированного набора модулей распределённой вычислительной системы и механизмов обеспечения отказоустойчивости : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Волканов Дмитрий Юрьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 20 с. 9 17-1/363 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
634. | Волканов, Дмитрий Юрьевич | Метод выбора сбалансированного набора модулей распределённой вычислительной системы и механизмов обеспечения отказоустойчивости : диссертация ... кандидата физико-математических наук : 05.13.11 / Волканов Дмитрий Юрьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 161 с. ил. 61 17-1/610 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
635. | Борчук, Леонид Евгеньевич | Метод анализа плана выполнения SQL-запроса, используя свойства O-большое асимптотик для оценки стоимости : диссертация ... кандидата технических наук : 05.13.11 / Борчук Леонид Евгеньевич; [Место защиты: Моск. гос. авиац. ин-т] Количество страниц: 274 с. 61 11-5/1074 Электронный ресурс |
Череповец, 2010 |
описание
загрузить в подборку |
636. | Колчин, Максим Александрович | Метод, алгоритмы и архитектура программной системы обработки гетерогенных данных электронных устройств на основе онтологического подхода : диссертация ... кандидата технических наук : 05.13.11 / Колчин Максим Александрович; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 152 с. ил. 61 17-5/469 Электронный ресурс |
Санкт-Петербург, 2016 |
описание
загрузить в подборку |
637. | Колчин, Максим Александрович | Метод, алгоритмы и архитектура программной системы обработки гетерогенных данных электронных устройств на основе онтологического подхода : автореферат дис. ... кандидата технических наук : 05.13.11 / Колчин Максим Александрович; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 22 с. 9 16-5/2410 Электронный ресурс |
Санкт-Петербург, 2016 |
описание
загрузить в подборку |
638. | Алексеев, Алексей Александрович | Метод автоматического аннотирования новостных кластеров на основе тематического анализа : диссертация ... кандидата физико-математических наук : 05.13.11 / Алексеев Алексей Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 122 с. ил. 61 14-1/921 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |
639. | Алексеев, Алексей Александрович | Метод автоматического аннотирования новостных кластеров на основе тематического анализа : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Алексеев Алексей Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 22 с. 9 14-3/1567 Электронный ресурс |
Москва, 2014 |
описание
загрузить в подборку |
640. | Камкин, Александр Сергеевич | Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 21 с. 9 08-4/751 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |