定 價:¥79.00
01自然數(shù)的緊化延伸機器證明…
02大學(xué)計算機實踐指導(dǎo):面向…
03基于確定性現(xiàn)金流的財務(wù)?!?/a>
04編譯原理
05基于Petri網(wǎng)的計算樹邏輯…
06算法分析進階:超越最壞情…
07計算邏輯約束:理論與應(yīng)用…
08邊緣計算實踐:內(nèi)容分發(fā)網(wǎng)…
09小記者·com
10邊緣工作流系統(tǒng)