Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов

catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks




  • скачать файл:
  • title:
  • Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
  • The number of pages:
  • 200
  • university:
  • ФГБОУ ВО Московский технологический университет
  • The year of defence:
  • 2017
  • brief description:
  • Быков Сергей Анатольевич. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов: диссертация ... кандидата Технических наук: 05.13.11 / Быков Сергей Анатольевич;[Место защиты: ФГБОУ ВО Московский технологический университет], 2017
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Исследование и разработка импульсных генераторов мощных линейных индукционных ускорителей Эрмель, Владимир Эдуардович
Исследование радиотехнических параметров и методика настройки резонаторов основной части ускорителя мезонной фабрики ИЯИ АН СССР Кравчук, Леонид Владимирович
Источники высокочастотного питания электрон-позитронных накопителей Горникер, Эдуард Иосифович
Механизм пробоя водяного диэлектрика сильноточных импульсивных ускорителей заряженных частиц Воробьев, Владислав Васильевич
Получение мощного электронного пучка микросекундной длительности для нагрева плазмы Щеглов, Михаил Алексеевич

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА