定 價:¥28.00
01自然數(shù)的緊化延伸機器證明…
02邊緣計算實踐:內(nèi)容分發(fā)網(wǎng)…
03基于范例的推理進(jìn)展
04計算邏輯約束:理論與應(yīng)用…
05計算的未來
06計算機科學(xué)導(dǎo)論:計算+、…
07高級HDL綜合和SoC原型設(shè)計…
08多機器人協(xié)同控制技術(shù)
09邊緣工作流系統(tǒng)
10區(qū)塊鏈技術(shù)與信息系統(tǒng)