Лукин Михаил Андреевич. Верификация автоматных программ

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




  • скачать файл:
  • title:
  • Лукин Михаил Андреевич. Верификация автоматных программ
  • The number of pages:
  • 185
  • university:
  • Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследователь
  • The year of defence:
  • 2014
  • brief description:
  • Лукин Михаил Андреевич. Верификация автоматных программ: диссертация ... кандидата технических наук: 05.13.11 / Лукин Михаил Андреевич;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»].- Санкт-Петербург, 2014.- 185 с.
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

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

THE LAST ARTICLES AND ABSTRACTS

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