Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Быков, Сергей Анатольевич |
загрузить
в подборку |
Заглавие | Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов : автореферат дис. ... кандидата технических наук : 05.13.11 | |
Выходные данные | Москва 2017 | |
Физическое описание | 23 с. | |
Тема | Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей | |
Тема | Радиоэлектроника -- Радиотехника -- Радиоэлектронная аппаратура -- Микроэлектроника -- Интегральные схемы -- Интегральные схемы большие и сверхбольшие -- Проектирование -- Автоматизация проектирования | |
Хранение | 9 17-5/1947; | |
Электронный адрес |
Электронный ресурс |