Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
параллельное выполнение
Связанные издания:
Advanced Parallel Processing Technologies: Revised Selected Papers/10th International Symposium, APPT 2013, Stockholm, Sweden, August 2013
Computational Methods in Systems Biology: Proc./14th International Conference, CMSB 2016, Cambridge, UK, September 2016
Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013