定 價:¥32.00
01自然數(shù)的緊化延伸機器證明…
02計算的未來
03計算邏輯約束:理論與應(yīng)用…
04基于實例的推理研究與發(fā)展…
05邊緣計算實踐:內(nèi)容分發(fā)網(wǎng)…
06大學計算機:醫(yī)學計算技術(shù)…
07基于范例的推理進展
08超級計算機原理與實踐
09計算機科學導(dǎo)論:思想與方…
10新媒體與互聯(lián)網(wǎng)研究(202…