Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
частичный
Связанные издания:
Исчислимость в частичных алгебраических системах
Некоторые алгебраические вопросы теории частично рекурсивных функций
Поливариантный анализ периода связывания
Реконструкция по частичным представлениям в комбинаторике слов
Смешанные и частичные вычисления (Вступительный доклад)
Специализация программ на объектно-ориентированых языках методом частичных вычислений
Частичная верификация программ на языке символьного процессора
Частичные вычисления и декомпозиция программ
Элементы анализа программ. Частичные функции на множестве состояний
« первая
‹ предыдущая
1
2