• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Simulating Petri Nets with Inhibitor and Reset Arcs
В печати

Pavel Pertsukhov, Mitsyuk A. A.

Proceedings of the Institute for System Programming of the RAS. 2019.

Глава в книге
A Method to Improve Workflow Net Decomposition for Process Model Repair
В печати

Semyon E. Tikhonov, Mitsyuk A. A.

In bk.: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Поздравляем Сергея Викторовича Зыкова с присуждением ученой степени доктора технических наук

Решением диссертационного совета Уфимского государственного авиационного технического университета доценту департамента программной инженерии Зыкову Сергею Викторовичу присуждена ученая степень доктора технических наук. 

Защита диссертации по теме "Технология интеграции данных в гетерогенных корпоративных программных комплексах"(специальность  05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей) состоялась 2 июля 2017 года.

Поздравляем Сергея Викторовича Зыкова и желаем реализации творческих замыслов и новых профессиональных достижений!