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

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

Фотоперенос электрона при внутрицентровом возбуждении в кристаллах KCL и KBr, активированных двухвалентным иттербием Ибрагим Зияд Дарвиш
Фотопроводимость фосфида галлия, сильно компенсированного медью Буслов, Вадим Александрович
Фоточувствительные волоконные световоды, сформированные плазмохимическим осаждением германосиликатного стекла Николин, Иван Владимирович
Фотоэлектронные спектры тонких пленок металлооксидов систем Y-Ba-Cu-O и Bi-Сa-Cu-O Лихачев, Евгений Робертович
Фотоэмиссия поляризованных электронов из напряженных полупроводниковых гетероструктур Амбражей, Антон Николаевич

THE LAST ARTICLES AND ABSTRACTS

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