定 價:¥19.00
01基于Petri網(wǎng)的計算樹邏輯…
02基于實例的推理研究與發(fā)展…
03超級計算機原理與實踐
04基于短文本的學習分析方法…
05自然數(shù)的緊化延伸機器證明…
06線性代數(shù):計算科學與工程…
07HDFS+MapReduce分布式存儲…
08網(wǎng)絡表示學習的理論與應用…
09面向森林生長的建模、計算…
10機器學習