Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями

catalog / Physics and mathematics / Discrete mathematics and mathematical cybernetics




  • скачать файл:
  • title:
  • Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями
  • The number of pages:
  • 200
  • university:
  • Киев
  • The year of defence:
  • 1992
  • brief description:
  • Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями : автореферат дис. ... кандидата физико-математических наук : 01.01.09.- Киев, 1992.- 18 с.: ил.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

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

THE LAST ARTICLES AND ABSTRACTS

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