Расширенный поиск
Найдено 1000 записей.
№ | Автор | Заглавие ▲ | Данные | Действия |
---|---|---|---|---|
101. | Марьясов, Илья Владимирович | Верификация С-программ с помощью смешанной аксиоматической семантики : диссертация ... кандидата физико-математических наук : 05.13.11 / Марьясов Илья Владимирович; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН] Количество страниц: 110 с. 61 12-1/879 Электронный ресурс |
Новосибирск, 2012 |
описание
загрузить в подборку |
102. | Дашевский, Владимир Павлович | Вероятностные методы оценки выполнимости задач в системах реального времени : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 141 с. ил. 61 04-5/2235 Электронный ресурс |
Санкт-Петербург, 2004 |
описание
загрузить в подборку |
103. | Аниканов, Алексей Александрович | Визуализация и анимация выходных данных математических моделей водных экологических систем : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 131 с. ил 61 02-5/941-9 Электронный ресурс |
Ростов-на-Дону, 2001 |
описание
загрузить в подборку |
104. | Рудометов, Сергей Валерьевич | Визуально-интерактивная система имитационного моделирования технологических систем : автореферат дис. ... кандидата технических наук : 05.13.11 / Рудометов Сергей Валерьевич; [Место защиты: Ин-т вычисл. математики и мат. геофизики] Количество страниц: 16 с. 9 12-1/1366 Электронный ресурс |
Новосибирск, 2011 |
описание
загрузить в подборку |
105. | Плахов, Андрей Григорьевич | Виртуальный футбол роботов : алгоритмы игроков и среда моделирования : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Плахов Андрей Григорьевич ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 15 с. 9 08-2/2506 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |
106. | Соловьев, Михаил Александрович | Восстановление алгоритма по набору бинарных трасс : диссертация ... кандидата физико-математических наук : 05.13.11 / Соловьев Михаил Александрович; [Место защиты: Ин-т систем. программирования] Количество страниц: 123 с. ил. 61 13-1/630 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
107. | Нетыкшо, Виктор Борисович | Восстановление параметров дискретных устройств, основанное на переоценке вероятностей с использованием действительных пороговых соотношений : диссертация ... кандидата технических наук : 05.13.11 Количество страниц: 148 с. 61 04-5/2889 Электронный ресурс |
Москва, 2003 |
описание
загрузить в подборку |
108. | Нанукян, Манук Гарнушович | Временная модель данных : автореферат дис. ... кандидата физико-математических наук : 05.13.11 Количество страниц: 15 c. ил Электронный ресурс |
Москва, 1990 |
описание
загрузить в подборку |
109. | Чибисов, Петр Александрович | Встречное тестирование высокопроизводительных микропроцессоров : автореферат дис. ... кандидата технических наук : 05.13.11 / Чибисов Петр Александрович; [Место защиты: Ин-т систем. программирования] Количество страниц: 23 с. 9 13-4/1265 Электронный ресурс |
Москва, 2013 |
описание
загрузить в подборку |
110. | Адинец, Андрей Викторович | Высокоуровневая система программирования графических процессорных устройств : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Адинец Андрей Викторович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] Количество страниц: 17 с. 9 09-5/2429 Электронный ресурс |
Москва, 2009 |
описание
загрузить в подборку |
111. | Юмагужин, Николай Валерьевич | Высокоуровневые методы и алгоритмы классификации интеграционных взаимосвязей структур данных : диссертация ... кандидата технических наук : 05.13.11 / Юмагужин Николай Валерьевич; [Место защиты: Ин-т программных систем РАН] Количество страниц: 135 с. ил. 61 09-5/687 Электронный ресурс |
Переславль-Залесский, 2008 |
описание
загрузить в подборку |
112. | Ключников, Илья Григорьевич (1983-) | Выявление и доказательство свойств функциональных программ методами суперкомпиляции : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Ключников Илья Григорьевич ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 20 с. 9 10-6/948 Электронный ресурс |
Москва, 2010 |
описание
загрузить в подборку |
113. | Ключников, Илья Григорьевич (1983-) | Выявление и доказательство свойств функциональных программ методами суперкомпиляции : диссертация ... кандидата физико-математических наук : 05.13.11 / Ключников Илья Григорьевич ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 189 с. ил. 61 10-1/1143 Электронный ресурс |
Москва, 2010 |
описание
загрузить в подборку |
114. | Чивилихин, Даниил Сергеевич | Генерация конечных автоматов на основе муравьиных алгоритмов : автореферат дис. ... кандидата технических наук : 05.13.11 / Чивилихин Даниил Сергеевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 16 с. 9 15-5/1579 Электронный ресурс |
Санкт-Петербург, 2015 |
описание
загрузить в подборку |
115. | Ульянцев, Владимир Игоревич | Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат дис. ... кандидата технических наук : 05.13.11 / Ульянцев Владимир Игоревич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 15 с. 9 15-5/1539 Электронный ресурс |
Санкт-Петербург, 2015 |
описание
загрузить в подборку |
116. | Егоров, Кирилл Викторович | Генерация управляющих автоматов на основе генетического программирования и верификации : автореферат дис. ... кандидата технических наук : 05.13.11 / Егоров Кирилл Викторович; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики] Количество страниц: 16 с. 9 13-5/589 Электронный ресурс |
Санкт-Петербург, 2013 |
описание
загрузить в подборку |
117. | Ковалев, Павел Владимирович | Герт-анализ мультиверсионных программных архитектур информационно-управляющих систем : автореферат дис. ... кандидата технических наук : 05.13.01, 05.13.11 / Ковалев Павел Владимирович; [Место защиты: Сиб. аэрокосм. акад. им. акад. М.Ф. Решетнева] Количество страниц: 21 с. 9 10-5/455 Электронный ресурс |
Красноярск, 2010 |
описание
загрузить в подборку |
118. | Чусов, Андрей Александрович | Гибкая архитектура для параллельного анализа и визуализации физических полей : диссертация ... кандидата технических наук : 05.13.11 / Чусов Андрей Александрович; [Место защиты: Ин-т автоматики и процессов управления ДВО РАН] Количество страниц: 211 с. ил. 61 12-5/4065 Электронный ресурс |
Владивосток, 2012 |
описание
загрузить в подборку |
119. | Чусов, Андрей Александрович | Гибкая архитектура для параллельного анализа и визуализации физических полей : автореферат дис. ... кандидата технических наук : 05.13.11 / Чусов Андрей Александрович; [Место защиты: Ин-т автоматики и процессов управления ДВО РАН] Количество страниц: 24 с. 9 12-4/4145 Электронный ресурс |
Владивосток, 2012 |
описание
загрузить в подборку |
120. | Бахтин, Владимир Александрович | Гибридная модель параллельного программирования DVM/OpenMP : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Бахтин Владимир Александрович ; [место защиты: Ин-т прикладной математики им. М. В. Келдыша РАН] Количество страниц: 24 с. 9 08-2/1352 Электронный ресурс |
Москва, 2008 |
описание
загрузить в подборку |