• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФКН
Статья
О некоторых инвариантах действия расширения GA(n,2) на множестве булевых функций

Федоров С. Н., Логачёв О. А., Ященко В. В.

Дискретная математика. 2021. Т. 33. № 2. С. 66-85.

Глава в книге
A Systematic Approach to Present “Files and File Systems” in Theoretical Courses of Computer Science.

Karpov V. E.

In bk.: Smart Modelling for Engineering Systems. Proceedings of the International Conference on Computational Methods in Continuum Mechanics (CMCM 2021), Volume 2 Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 215). Springer, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Сотрудники

Гринкруг Ефим Михайлович

заместитель заведующего кафедрой, Профессор

Заведеев Денис Владиславович

Приглашенный преподаватель

Научные интересы
Карнов Алексей Александрович

Приглашенный преподаватель

Научные интересы
Кричанов Михаил Юрьевич

Приглашенный преподаватель

Научные интересы
Кучук Александр Александрович

Приглашенный преподаватель

Научные интересы
Мельник Дмитрий Михайлович

Приглашенный преподаватель

Научные интересы
Проценко Александр Сергеевич

Приглашенный преподаватель

Научные интересы
Филиол Эрик Адриен Фрэнсис

Ассоциированный сотрудник

Чиликин Дмитрий Сергеевич

Приглашенный преподаватель

Научные интересы