Костылев Егор Вячеславович. Алгоритмы антиунификации и их применение для вычисления инвариантов программ

catalog / Physics and mathematics / Discrete mathematics and mathematical cybernetics




  • скачать файл:
  • title:
  • Костылев Егор Вячеславович. Алгоритмы антиунификации и их применение для вычисления инвариантов программ
  • The number of pages:
  • 220
  • university:
  • Моск. гос. ун-т им. М.В. Ломоносова
  • The year of defence:
  • 2008
  • brief description:
  • Костылев Егор Вячеславович. Алгоритмы антиунификации и их применение для вычисления инвариантов программ : диссертация ... кандидата физико-математических наук : 01.01.09 / Костылев Егор Вячеславович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2008.- 220 с.: ил. РГБ ОД, 61 09-1/421
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

Numerical simulation of the hydrological cycle of Mars / Численное моделирование гидрологического цикла Марса Шапошников Дмитрий Сергеевич
Исследование летнего полярного мезосферного эха в Северной Скандинавии Барабаш, Виктория Эдуардовна
Исследование волновых процессов и напряженно-деформированного состояния в анизотропных пластинках и цилиндрических оболочках Багдасарян, Рафик Арменакович
Взаимодействие магнитогидродинамических волн с магнитогидродинамическими разрывами Любчич, Андрис Алексеевич
Влияние частичной ионизации плазмы и мелкомасштабной турбулентности на жнерговыделение и ускорение частиц в атмосфере Солнца Цап, Юрий Теодорович

THE LAST ARTICLES AND ABSTRACTS

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