定 價:¥25.00
01基于Petri網(wǎng)的計(jì)算樹邏輯…
02算法與計(jì)算:會議錄LNCS-…
03高等學(xué)校文科類專業(yè)大學(xué)計(jì)…
04自然數(shù)的緊化延伸機(jī)器證明…
05基于范例的推理進(jìn)展
06對象代理數(shù)據(jù)庫系統(tǒng)原理
07線性代數(shù):計(jì)算科學(xué)與工程…
08BIM參數(shù)化設(shè)計(jì)
09智能算法原理與實(shí)現(xiàn):群智…
10基于矩信息的魯棒優(yōu)化模型…