Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX

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




  • скачать файл:
  • title:
  • Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX
  • The number of pages:
  • 284
  • university:
  • Ин-т систем. программирования
  • The year of defence:
  • 2013
  • brief description:
  • Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX : диссертация ... кандидата физико-математических наук : 05.13.11 / Новиков Евгений Михайлович; [Место защиты: Ин-т систем. программирования].- Москва, 2013.- 284 с.: ил. РГБ ОД, 61 13-1/1027
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

Поверхностно локализованные биологически активные центры и функциональное состояние крупного рогатого скота Баранов, Юрий Николаевич
Показатели функционального гомеостаза и биотехнологические методы воспроизводства свиней Щепелев, Андрей Николаевич
Половые феромоны хряков и их использование для стимуляции репродуктивной функции у свиноматок Братчик, Евгения Романовна
Пространственно-временной анализ сенсорных и когнитивных составляющих слуховых и зрительных вызванных потенциалов в норме и при поражении головного мозга Корепина, Ольга Станиславовна
Психофизиологические исследования негативных эмоциональных состояний человека Новикова, Наталья Валерьевна

THE LAST ARTICLES AND ABSTRACTS

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