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

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

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

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

Архитектура ЭВМ и язык ассемблера

2021/2022
Учебный год
RUS
Обучение ведется на русском языке
5
Кредиты

Преподаватели

Батузов Кирилл Андреевич

Батузов Кирилл Андреевич

Гребнев Николай Юрьевич

Гребнев Николай Юрьевич

Дудина Ирина Александровна

Дудина Ирина Александровна

Монаков Александр Владимирович

Монаков Александр Владимирович

Нурмухаметов Алексей Раисович

Нурмухаметов Алексей Раисович

Рукин Антон Иванович

Рукин Антон Иванович