Дехтярь Михаил Иосифович. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Теоретические основы информатики




  • скачать файл:
  • Название:
  • Дехтярь Михаил Иосифович. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование
  • Кол-во страниц:
  • 383
  • ВУЗ:
  • Ин-т програм. систем РАН
  • Год защиты:
  • 2009
  • Краткое описание:
  • Дехтярь Михаил Иосифович. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН].- Тверь, 2009.- 383 с.: ил. РГБ ОД, 71 10-1/93
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ




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


ПОСЛЕДНИЕ ДИССЕРТАЦИИ

Влияние радиационного и термического воздействия на состав и структуру алмазоподобных водородсодержащих углеродных пленок Рубштейн, Анна Петровна
Влияние фазового состава и микроструктуры на полупроводниковые и позисторные свойства материалов на основе феррониобата свинца Кузнецова, Татьяна Константиновна
Влияние фрактальности поверхности на электрические свойства поликристаллов Кобелев, Владимир Леонидович
Влияние щелочноземельных примесей на пороги оптического разрушения и накопление лазерного повреждения при допороговом воздействии в кристаллах хлористого калия Васильева, Лидия Анатольевна
Влияние электропереноса на контактное плавление металлов и структурообразование в жидко-твердых системах Байсултанов, Михаил Магомедович

ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

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