Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
1. | Бухвалова, Вера Вацлавовна. | DROL-язык спецификации для задач вычислительной геометрии : автореферат дис. ... кандидата физико-математических наук : 05.13.11 Количество страниц: 15 c. ил 9 95-2/2836-0 9 95-2/2837-9 Электронный ресурс |
Санкт-Петербург, 1995 |
описание
загрузить в подборку |
2. | Бойко, Павел Валентинович | MAKC DSM : Система распределённой общей памяти для мультиагентных систем в IoT : автореферат дис. ... кандидата технических наук : 05.13.11 / Бойко Павел Валентинович; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 19 с. 9 18-5/430 Электронный ресурс |
Санкт-Петербург, 2018 |
описание
загрузить в подборку |
3. | Брызгалов, Петр Александрович | WEB-ориентированные инструментальные средства для изучения семантически-структурированных предметных областей : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Моск. гос. ун-т им. М.В. Ломоносова Количество страниц: 17 с. 9 06-5/2496-9 9 06-5/2497-7 Электронный ресурс |
Москва, 2006 |
описание
загрузить в подборку |
4. | Яфаев, Виль Эмарович | XML-технология создания на Web-сервере персонализованных Word-документов на основе XSL-трансформации : диссертация ... кандидата технических наук : 05.13.11 / Яфаев Виль Эмарович; [Место защиты: Уфим. гос. авиац.-техн. ун-т] Количество страниц: 189 с. ил. 61 10-5/1233 Электронный ресурс |
Уфа, 2009 |
описание
загрузить в подборку |
5. | Татарников, Андрей Дмитриевич | Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций : автореферат дис. ... кандидата технических наук : 05.13.11 / Татарников Андрей Дмитриевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 24 с. 9 17-5/1431 Электронный ресурс |
Москва, 2017 |
описание
загрузить в подборку |
6. | Кудрявцев, Максим Владимирович | Автоматизация отладки параллельных программ : диссертация ... кандидата физико-математических наук : 05.13.11 Количество страниц: 96 с. ил. 61 07-1/506 Электронный ресурс |
Москва, 2006 |
описание
загрузить в подборку |
7. | Курмангалеев, Шамиль Фаимович | Автоматизация переноса Cu/Cu++-приложений на новые платформы : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Курмангалеев Шамиль Фаимович; [Место защиты: Ин-т систем. программирования] Количество страниц: 24 с. 9 13-3/3842 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
8. | Рубанов, Владимир Васильевич | Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Рубанов Владимир Васильевич; [Место защиты: Ин-т систем. программирования] Количество страниц: 23 с. 9 08-4/625 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
9. | Грибова, Валерия Викторовна | Автоматизация проектирования, реализации и сопровождения пользовательского интерфейса на основе онтологического подхода : диссертация ... доктора технических наук : 05.13.11 / Грибова Валерия Викторовна; [Место защиты: Ин-т автоматики и процессов управления ДВО РАН] Количество страниц: 393 с. ил. 71 07-5/756 Электронный ресурс |
Владивосток, 2007 |
описание
загрузить в подборку |
10. | Кузнецов, Александр Сергеевич | Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем : диссертация ... кандидата технических наук : 05.13.11 / Кузнецов Александр Сергеевич; [Место защиты: Сиб. федер. ун-т] Количество страниц: 136 с. ил. 61 10-5/613 Электронный ресурс |
Красноярск, 2009 |
описание
загрузить в подборку |
11. | Наганов, Михаил Владимирович | Автоматизированная генерация кода для интеграции систем управления телекоммуникациями : диссертация ... кандидата физико-математических наук : 05.13.11 Количество страниц: 162 с. 61 07-1/1120 Электронный ресурс |
Санкт-Петербург, 2007 |
описание
загрузить в подборку |
12. | Князев, Евгений Геннадьевич | Автоматизированная классификация изменений исходного кода на основе кластеризации метрик в процессе разработки программного обеспечения : автореферат дис. ... кандидата технических наук : 05.13.11 / Князев Евгений Геннадьевич; [Место защиты: С.-Петерб. гос. ун-т информац. технологий, механики и оптики] Количество страниц: 19 с. 9 10-2/1034 Электронный ресурс |
Санкт-Петербург, 2009 |
описание
загрузить в подборку |
13. | Смирнов, Валентин Александрович | Автоматизированная система анализа неструктурированной речевой информации с применением лингвистических знаний : автореферат дис. ... кандидата технических наук : 05.13.11 / Смирнов Валентин Александрович; [Место защиты: Ин-т проблем упр. им. В.А. Трапезникова РАН] Количество страниц: 21 с. 9 16-5/439 Электронный ресурс |
Москва, 2016 |
описание
загрузить в подборку |
14. | Четвёркин, Илья Игоревич | Автоматизированное формирование базы знаний для задачи анализа мнений : диссертация ... кандидата физико-математических наук : 05.13.11 / Четвёркин Илья Игоревич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 147 с. ил. 61 13-1/885 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
15. | Четвёркин, Илья Игоревич | Автоматизированное формирование базы знаний для задачи анализа мнений : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Четвёркин Илья Игоревич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики] Количество страниц: 20 с. 9 13-4/2901 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
16. | Власенко, Андрей Юрьевич | Автоматизированный контроль корректности MPI-программ на основе шаблонов ошибочного поведения : автореферат дис. ... кандидата технических наук : 05.13.11 / Власенко Андрей Юрьевич; [Место защиты: Нац. исслед. Том. гос. ун-т] Количество страниц: 16 с. 9 14-2/2271 Электронный ресурс |
Томск, 2014 |
описание
загрузить в подборку |
17. | Мосиенко, Максим Алексеевич | Автоматизированный перевод устаревших приложений на новые языки и платформы : диссертация ... кандидата физико-математических наук : 05.13.11 Количество страниц: 122 с. ил. 61 06-1/573 Электронный ресурс |
Санкт-Петербург, 2006 |
описание
загрузить в подборку |
18. | Каленкова, Анна Алексеевна | Автоматическая верификация и оптимизация потоков работ : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Каленкова Анна Алексеевна; [Место защиты: Вычисл. центр им. А.А. Дородницына РАН] Количество страниц: 16 с. Электронный ресурс |
Москва, 2011 |
описание
загрузить в подборку |
19. | Кручинин, Алексей Николаевич | Автоматическая генерация программных компонент по высокоуровневым спецификациям : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 164 с. ил. 61 07-5/1641 Электронный ресурс |
Ростов-на-Дону, 2006 |
описание
загрузить в подборку |
20. | Павлов, Владимир Александрович | Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Павлов Владимир Александрович; [Место защиты: С.-Петерб. гос. ун-т] Количество страниц: 17 с. 9 17-1/806 Электронный ресурс |
Санкт-Петербург, 2017 |
описание
загрузить в подборку |