• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Мероприятия
24 сентября – 25 сентября
Статья
CPALockator: Thread-Modular Analysis with Projections

Андрианов П. С., Мутилин В. С., Khoroshilov A. V.

Lecture Notes in Computer Science. 2021. Vol. 12652. P. 423-427.

Глава в книге
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

60 лет доценту Карпову Владимиру Ефимовичу

60 лет доценту Карпову Владимиру Ефимовичу

Canva

Доценту кафедры "Системное программирование" Владимиру Ефимовичу Карпову 10 июня исполняется 60 лет!

Поздравляем Владимира Ефимовича и желаем ему крепкого здоровья, занимательных задач и неугасающего научного интереса!

Поздравляем с юбилеем!