定 價:¥38.00
01自然數(shù)的緊化延伸機器證明…
02信息技術(shù)實用教程實訓(xùn)
03計算邏輯約束:理論與應(yīng)用…
04國家自然科學(xué)基金科研儀器…
05人形機器人行業(yè)落地與應(yīng)用…
06大學(xué)計算機:醫(yī)學(xué)計算技術(shù)…
07基于Petri網(wǎng)的計算樹邏輯…
08自主無人系統(tǒng)的智能環(huán)境感…
09高級HDL綜合和SoC原型設(shè)計…
10CCF 2023中國計算機科學(xué)技…