定 價(jià):¥23.80
01計(jì)算邏輯約束:理論與應(yīng)用…
02對(duì)象代理數(shù)據(jù)庫(kù)系統(tǒng)原理
03多目標(biāo)元胞差分算法及其應(yīng)…
04自然數(shù)的緊化延伸機(jī)器證明…
05基于范例的推理進(jìn)展
06基于Petri網(wǎng)的計(jì)算樹邏輯…
07X-SDP零信任新紀(jì)元
08多機(jī)器人協(xié)同控制技術(shù)
09序列密碼的分析與設(shè)計(jì)(第…
10抽象代數(shù)基礎(chǔ)教程(英文版…