Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ

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




  • скачать файл:
  • title:
  • Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ
  • The number of pages:
  • 200
  • university:
  • АН Украины. Ин-т кибернетики им. В. М. Глушкова
  • The year of defence:
  • 1992
  • brief description:
  • Бакулин, Александр Владимирович. Развитие метода и инструментария многоуровневого доказательного проектирования программ : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / АН Украины. Ин-т кибернетики им. В. М. Глушкова.- Киев, 1992.- 18 с.: ил. РГБ ОД, 9 92-5/1046-7
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

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

THE LAST ARTICLES AND ABSTRACTS

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