Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
20917
Связанные издания:
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Simulation and Synthesis in Medical Imaging: Proc./6th International Workshop, SASHIMI 2021 Held in Conjunction with MICCAI 2021, Strasbourg, France, October 2021
Конечномерные возмущения вольтерровых операторов