Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Карташев, Всеволод Владимирович
05.13.11
Кандидатская
2010
Москва
122 с. : ил.
Стоимость:
250 руб.
| Название работы | Автор | Дата защиты |
|---|---|---|
| Формальная семантика C-LIGHT программ и их верификация методом Хоара | Промский, Алексей Владимирович | 2004 |
| Нейросетевое моделирование процессов многомерной классификации объектов с разнородными признаками | Деркачев, Александр Николаевич | 2006 |
| Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах | Чкан, Андрей Викторович | 2016 |