Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие | Данные ▲ | Действия |
---|---|---|---|---|
941. | Бовкун, Александр Викторович | Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем : автореферат дис. ... кандидата технических наук : 05.13.11 / Бовкун Александр Викторович; [Место защиты: Юж. федер. ун-т] Количество страниц: 19 с. 9 16-5/179 Электронный ресурс |
Таганрог, 2016 |
описание
загрузить в подборку |
942. | Бессонов, Алексей Владимирович | Символьная спецификация и анализ программных моделей гибридных систем : автореферат дис. ... кандидата технических наук : 05.13.11 / Бессонов Алексей Владимирович; [Место защиты: Новосиб. гос. техн. ун-т] Количество страниц: 22 с. 9 16-5/1341 Электронный ресурс |
Новосибирск, 2016 |
описание
загрузить в подборку |
943. | Краснов, Михаил Михайлович | Сеточно-операторный подход к программированию задач математической физики : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Краснов Михаил Михайлович ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 26 с. 9 17-1/57 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
944. | Раткевич, Ирина Сергеевна | Расширенный языковой сервис FRIS для программирования на языке Fortran в Microsoft Visual Studio : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Раткевич Ирина Сергеевна ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 19 с. 9 17-1/43 Электронный ресурс |
Саров, 2016 |
описание
загрузить в подборку |
945. | Раткевич, Ирина Сергеевна | Расширенный языковой сервис FRIS для программирования на языке Fortran в Microsoft Visual Studio : диссертация ... кандидата физико-математических наук : 05.13.11 / Раткевич Ирина Сергеевна ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 195 с. ил. 61 17-1/274 Электронный ресурс |
Саров, 2016 |
описание
загрузить в подборку |
946. | Уральский, Николай Борисович | Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода : автореферат дис. ... кандидата технических наук : 05.13.11 / Уральский Николай Борисович; [Место защиты: Моск. гос. технол. ун-т] Количество страниц: 24 с. 9 17-5/1092 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
947. | Бабенко, Артем Валерьевич | Эффективные алгоритмы поиска по большим коллекциям изображений : диссертация ... кандидата физико-математических наук : 05.13.11 / Бабенко Артем Валерьевич ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 151 с. ил. 61 17-1/432 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
948. | Зыков, Сергей Викторович | Технология интеграции данных в гетерогенных корпоративных программных комплексах : диссертация ... доктора технических наук : 05.13.11 / Зыков Сергей Викторович; [Место защиты: Уфим. гос. авиац.-техн. ун-т] Количество страниц: 338 с. ил. Прил. (128 с.: ил.) 71 17-5/111 71 17-5/111 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
949. | Федотов, Андрей Николаевич | Разработка метода оценки эксплуатируемости программных дефектов : автореферат дис. ... кандидата технических наук : 05.13.11 / Федотов Андрей Николаевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 24 с. 9 17-5/1908 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
950. | Блохин, Юрий Михайлович | Разработка интеллектуальной программной среды для построения интегрированных экспертных систем : автореферат дис. ... кандидата технических наук : 05.13.11 / Блохин Юрий Михайлович; [Место защиты: Нац. исслед. ядерный ун-т] Количество страниц: 25 с. 9 18-5/261 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
951. | Халиуллин, Айрат Радикович | Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов : диссертация ... кандидата технических наук : 05.13.11 / Халиуллин Айрат Радикович; [Место защиты: Рос. гос. ун-т нефти и газа им. И.М. Губкина] Количество страниц: 130 с. ил. 61 17-5/1671 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
952. | Галов, Иван Викторович | Модели проектирования программной инфраструктуры интеллектуального пространства для ресурсно-ограниченных вычислительных сред : автореферат дис. ... кандидата технических наук : 05.13.11 / Галов Иван Викторович; [Место защиты: С.-Петерб. ин-т информатики и автоматизации РАН] Количество страниц: 20 с. 9 17-5/2091 Электронный ресурс |
Петрозаводск, 2017 |
описание
загрузить в подборку |
953. | Мосин, Сергей Владимирович | Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Мосин Сергей Владимирович; [Место защиты: Юж.-Ур. гос. ун-т] Количество страниц: 16 с. 9 17-1/575 Электронный ресурс |
Челябинск, 2017 |
описание
загрузить в подборку |
954. | Михайлов, Андрей Анатольевич | Методы декомпиляции объектного кода Delphi : диссертация ... кандидата технических наук : 05.13.11 / Михайлов Андрей Анатольевич; [Место защиты: Ин-т динамики систем и теории управления им. В.М. Матросова СО РАН] Количество страниц: 155 с. ил. 61 18-5/58 Электронный ресурс |
Иркутск, 2017 |
описание
загрузить в подборку |
955. | Михайлов, Андрей Анатольевич | Методы декомпиляции объектного кода Delphi : автореферат дис. ... кандидата технических наук : 05.13.11 / Михайлов Андрей Анатольевич; [Место защиты: Ин-т динамики систем и теории управления им. В.М. Матросова СО РАН] Количество страниц: 17 с. 9 17-5/1651 Электронный ресурс |
Иркутск, 2017 |
описание
загрузить в подборку |
956. | Мордань, Виталий Олегович | Методы верификации программ на основе композиции задач достижимости : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Мордань Виталий Олегович; [Место защиты: Ин-т систем. программирования] Количество страниц: 26 с. 9 17-1/268 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
957. | Мордань, Виталий Олегович | Методы верификации программ на основе композиции задач достижимости : диссертация ... кандидата физико-математических наук : 05.13.11 / Мордань Виталий Олегович; [Место защиты: Ин-т систем. программирования] Количество страниц: 205 с. ил. 61 17-1/502 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
958. | Мальшаков, Григорий Викторович | Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных : автореферат дис. ... кандидата технических наук : 05.13.11 / Мальшаков Григорий Викторович; [Место защиты: Моск. технол. ун-т] Количество страниц: 20 с. 9 17-5/1235 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
959. | Маркин, Юрий Витальевич | Методы и средства углубленного анализа сетевого трафика : автореферат дис. ... кандидата технических наук : 05.13.11 / Маркин Юрий Витальевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 25 с. 9 17-5/772 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
960. | Буренков, Владимир Сергеевич | Методы и средства верификации протоколов когерентности памяти : автореферат дис. ... кандидата технических наук : 05.13.11 / Буренков Владимир Сергеевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 28 с. 9 17-5/656 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |