檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- рекурсивные программы
- рекурсия 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獲取全文
獲取全文
電子 圖書