定 價:¥47.00
01基于Petri網(wǎng)的計算樹邏輯…
02面向森林生長的建模、計算…
03大學計算機:醫(yī)學計算技術(shù)…
04高級HDL綜合和SoC原型設(shè)計…
05自然數(shù)的緊化延伸機器證明…
06信息技術(shù)實用教程實訓
07數(shù)據(jù)語義學期刊 VII LNCS…
08電子排版技術(shù):方正飛騰4…
09大學計算機實踐指導:面向…
10基于范例的推理進展