Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
оценка сложности
Связанные издания:
Learning Theory: Proc./ 20th Annual Conference on Learning Theory, COLT 2007. San Diego, CA, USA, June 2007
Real arithmetic based verification of prioritized time Perti nets with parameters
Исследование средних оценок вычислительной сложности алгоритмов обработки структур данных типа дерева
Нижние оценки сложности схемной реализации характеристических функций групповых кодов