Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
система баз данных
Связанные издания:
Blockchain - ICBC 2020: Proc./3rd International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Services - SERVICES 2020: Proc./16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 2020
Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017