Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Брычков, Евгений Юрьевич
05.13.11
Кандидатская
1999
Москва
130 с. : ил.
Стоимость:
250 руб.
| Название работы | Автор | Дата защиты |
|---|---|---|
| Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения | Васильев, Павел Константинович | 2008 |
| Генерирование столбцов в симплекс-методе : Вопросы программной реализации | Ли Хе Ран | 2002 |
| Системы переписывания формул и их применение в автоматической верификации программ | Ануреев, Игорь Сергеевич | 1998 |