Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
решающий
Связанные издания:
Functional and Logic Programming: Proc./11th International Symposium, FLOPS 2012, Kobe, Japan, 2012
Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Методы прогнозирования перспективности объектов, основанные на логических решающих функциях
Ускорение одного решаю его алгоритма
Ускорение одного решаю его алгоритма