Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Бендума Тахар
05.13.11
Кандидатская
2010
Казань
94 с. : ил.
Стоимость:
250 руб.
| Название работы | Автор | Дата защиты |
|---|---|---|
| Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов | Быков, Сергей Анатольевич | 2017 |
| Инструментальные средства разработки интеллектуальной системы моделирования процесса распределения потоков транспорта на перекрестке | Бажин, Дмитрий Николаевич | 2001 |
| Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул | Бутаков, Михаил Игоревич | 2011 |