• 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

Тема «бакалавриат» – Новости

Стипендия ИСП РАН

Стипендия ИСП РАН
Институт системного программирования им. В.П. Иванникова Российской академии наук учредил стипендию для студентов и аспирантов факультета компьютерных наук НИУ ВШЭ. Стипендиальная программа направлена на создание благоприятных условий для формирования и удержания в России кадрового потенциала высшей квалификации в сфере информационных технологий – студентов и аспирантов, демонстрирующих выдающиеся результаты в обучении и научной работе.

В декабрьском номере HERB сотрудники базовой кафедры рассказали об образовании в области ИТ

В конце декабря 2016 г. вышел номер журнала НИУ ВШЭ Higher Education in Russia and Beyond (HERB), посвященный компьютерным наукам – Computer Science: History of Emerging Discipline. В его подготовке в качестве авторов статей приняли непосредственное участие сотрудники базовой кафедры "Системное программирование".