01基于短文本的學(xué)習(xí)分析方法…
02抽象代數(shù)基礎(chǔ)教程(英文版…
03面向森林生長的建模、計算…
04計算科學(xué) - ICCS 2006 /會…
05X-SDP零信任新紀(jì)元
06計算邏輯約束:理論與應(yīng)用…
07基于Petri網(wǎng)的計算樹邏輯…
08基于范例的推理進(jìn)展
09自然數(shù)的緊化延伸機器證明…
10計算機網(wǎng)絡(luò)(第2版)