定 價:¥65.00
01計算邏輯約束:理論與應用…
02自然數(shù)的緊化延伸機器證明…
03基于Petri網(wǎng)的計算樹邏輯…
04區(qū)塊鏈技術與信息系統(tǒng)
05基于矩信息的魯棒優(yōu)化模型…
06水面無人艇智能感知與導航…
07數(shù)字邏輯習題精解精練
08計算機應用基礎
09國家自然科學基金科研儀器…
10冗余流量測量及特性分析