Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування

catalog / TECHNICAL SCIENCES / Automated control systems and progressive information technologies




  • скачать файл:
  • title:
  • Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування
  • Альтернативное название:
  • Сергеенко Владимир Владимирович. Инвариантно-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения
  • The number of pages:
  • 200
  • university:
  • Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х
  • The year of defence:
  • 2012
  • brief description:
  • Сергієнко Володимир Володимирович. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування.- Дисертація канд. техн. наук: 05.13.06, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012.- 210 с. : рис.
  • bibliography:
  • -
  • Стоимость доставки:
  • 125.00 грн


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

Квазианалитичность классов Карлемана на континуумах комплексной плоскости Гайсин, Рашит Ахтярович
Неравенство Бернштейна–Сеге для дробных производных тригонометрических полиномов в пространстве L_0 Леонтьева Анастасия Олеговна
Пространства функций, заданные на модификациях прямой Зоргенфрея Сухачева Елена Сергеевна
Прямые и обратные спектральные задачи для оператора Штурма-Лиувилля и системы Дирака Савчук Артем Маркович
Аппроксимация функций решениями однородных эллиптических систем второго порядка на компактах в комплексной плоскости и граничные свойства этих решений Багапш Астамур Олегович

THE LAST ARTICLES AND ABSTRACTS

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