定 價(jià):¥89.00
01計(jì)算邏輯約束:理論與應(yīng)用…
02自然數(shù)的緊化延伸機(jī)器證明…
03大學(xué)計(jì)算機(jī):面向新一代信…
04多機(jī)器人協(xié)同控制技術(shù)
05抽象代數(shù)基礎(chǔ)教程(英文版…
06計(jì)算科學(xué) - ICCS 2006 /會(huì)…
07微納光纖制備與傳感技術(shù)應(yīng)…
08信息標(biāo)識(shí)機(jī)器人系統(tǒng):設(shè)計(jì)…
09邊緣工作流系統(tǒng)
10基于Petri網(wǎng)的計(jì)算樹邏輯…