検索結果
関連のトピックス ...
関連のトピックス ...
- рекурсивные программы
- рекурсия 2
- Вычислительные машины электронные Программы 1
- Преобразователи информации 1
- алгоритмический анализ 1
- алгоритмы 1
- алгоритмы синтеза 1
- блок-схемы 1
- доказательство правильности 1
- затраты 1
- индуктивные утверждения 1
- логические выводы 1
- математическая индукция 1
- оптимизация 1
- подпрограммы 1
- полиномиальная функция 1
- программирование 1
- программы обслуживающие 1
- рекурсивные подсхемы 1
- семинары 1
- синтез 1
- синтезирующие программы 1
- структурная индукция 1
- структурное программирование 1
- теоретические результаты 1
- трансляторы 1
- труды учёных ТПУ 1
- условия 1
- учебные пособия 1
- функциональное программирование 1
-
1
-
2
-
3
-
4
Теоретическая информатика. Доказательство правильности учеб. пособие
出版事項 Новосибирск, НГТУ, 2016全文の入手
全文の入手
電子媒体 図書