Skip navigation
Главная
Просмотреть
Разделы
и коллекции
Посмотреть:
По дате
По автору
По заглавию
По тематике
Справка
Язык
English
русский
Зарегистрированным:
Авторизация
Обновления на e-mail
Редактировать профиль
Электронный архив ТПУ
Поиск
Поиск:
Весь архив электронных ресурсов
Наука
Образование
Университетская жизнь
запрос
Текущие фильтры:
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
По заглавию
По автору
По тематике
По дате
Равно
Содержит
Идентификатор
Не равно
Не содержит
Не идентификатор
Результаты 1-2 из 2.
назад
1
дальше
Найденные ресурсы:
Дата публикации
Название
Авторы
2008
Эффективный алгоритм синтеза программ с условиями и подпрограммами
Пинжин, Алексей Евгеньевич
;
Новосельцев, Виталий Борисович
2008
Алгоритм синтеза программ с явной и неявной рекурсией
Пинжин, Алексей Евгеньевич
Фильтр
По автору
1
Новосельцев, Виталий Борисович
По тематике
2
затраты
2
логические выводы
2
подпрограммы
2
условия
2
функциональное программирование
2
функциональные связи
1
линейные функции
1
полиноминальная функция
1
предварительная подготовка
1
программы
.
Вперед >