定 價:¥29.00
01邊緣計算實踐:內(nèi)容分發(fā)網(wǎng)…
02基于Petri網(wǎng)的計算樹邏輯…
03自然數(shù)的緊化延伸機器證明…
04編譯原理
05信息技術(shù)實用教程實訓(xùn)
06算法與計算:會議錄LNCS-…
07基于矩信息的魯棒優(yōu)化模型…
08中國高性能計算30年
09數(shù)據(jù)語義學(xué)期刊 VII LNCS…
10基于實例的推理研究與發(fā)展…