Новиков, Денис Викторович. - Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 / Ин-т проблем управления. - Москва, 1994. - 28 с.
Карточка
Экспресс-заказ фрагмента
Новиков, Денис Викторович.
Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 / Ин-т проблем управления. - Москва, 1994. - 28 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
Шифр хранения:
Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 / Ин-т проблем управления. - Москва, 1994. - 28 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
Шифр хранения:
FB 9 94-1/2876-2
FB 9 94-1/2877-0
Описание
| Автор | Новиков, Денис Викторович |
|---|---|
| Заглавие | Использование ЛАМБДА-исчисления при моделировании и синтезе структур специализированных программных систем САПР : автореферат дис. ... кандидата технических наук : 05.13.16, 05.13.12 |
| Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
| Дата поступления в ЭК РГБ | 31.05.1994 |
| Каталоги | Авторефераты диссертаций |
| Сведения об ответственности | Ин-т проблем управления |
| Выходные данные | Москва, 1994 |
| Физическое описание | 28 с. |
| Тема | Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук ) |
| BBK-код | Ж2-5-05,0 |
| Специальность | 05.13.12: Системы автоматизации проектирования (по отраслям) |
| Язык | Русский |
| Места хранения | FB 9 94-1/2876-2 |
| FB 9 94-1/2877-0 |
