Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Гимпельсон, Вадим Дмитриевич
05.13.11
Кандидатская
2018
Москва
166
Стоимость:
499 руб.
Название работы | Автор | Дата защиты |
---|---|---|
Формальная семантика C-LIGHT программ и их верификация методом Хоара | Промский, Алексей Владимирович | 2004 |
Математическое и алгоритмическое обеспечение эффективного выбора программных компонентов распределенного вычислительного комплекса заданной архитектуры | Гусев, Александр Алексеевич | 2019 |
Методы и алгоритмы автоматической обработки изображений радужной оболочки глаза | Матвеев, Иван Алексеевич | 2014 |