• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Homing Sequence Derivation with Quantified Boolean Satisfiability

Tu K., Wang H., Jiang J. R. et al.

IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

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

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

arxiv.org. Computer Science. Cornell University, 2020

Образование – Новости

Фомичев М.И. защитил кандидатскую диссертацию

Открывается конкурс на замещение должностей профессорско-преподавательского состава

Открывается конкурс на замещение должностей профессорско-преподавательского состава
Высшая школа экономики объявляет о старте конкурса на замещение 528 должностей профессорско-преподавательского состава (ППС) по кафедрам, департаментам и факультетам в Москве, Санкт-Петербурге, Нижнем Новгороде и Перми. Конкурсный отбор объявили 110 подразделений университета.

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ
Завершились защиты курсовых работ и проектов студентов образовательной программы Программная инженерия, которые проходили с 18 апреля по 24 мая.

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»
В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе,  рассказывает ее руководитель Александр Петренко.

Поздравляем студентов 3 курса, успешно защитивших курсовые работы

Завершилась защита курсовых работ и проектов студентов 3 курса образовательной программы Программная инженерия, которая проходила 20 апреля.

Открытая конференция по компиляторным технологиям

Открытая конференция по компиляторным технологиям проводится по инициативе ИСП РАН и Samsung и посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др

Конференция «Облачные вычисления. Образование. Исследования. Разработка»

На сайте конференции «Облачные вычисления. Образование. Исследования. Разработка» опубликована программа мероприятия.