定 價:¥139.00
01計算邏輯約束:理論與應用…
02自然數(shù)的緊化延伸機器證明…
03Prometheus原理與實戰(zhàn):云…
04對象代理數(shù)據(jù)庫系統(tǒng)原理
05基于Petri網(wǎng)的計算樹邏輯…
06多機器人協(xié)同控制技術(shù)
07新媒體與互聯(lián)網(wǎng)研究(202…
08計算機科學導論:計算+、…
09基于確定性現(xiàn)金流的財務?!?/a>
10抽象代數(shù)基礎(chǔ)教程(英文版…