Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
сопоставление
Связанные издания:
Computer Vision - ECCV 2008: Part III: Proc./10th European Conference on Computer Vision. Marseille, France, October 2008
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Монады для формализации процедуры сопоставления с образцом