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