Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
аффинный
Связанные издания:
Affine Model Checking Multi-agent Sliding Window Protocol
Discrete and Computational Geometry and Graphs: Revised Selected Papers/16th Japanes Conference, JCDCGG 2013, Tokyo, Japan, September 2013
Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013
Introduction to the Theory of Schemes
Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012
К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций