定 價:¥25.00
01國家自然科學基金科研儀器…
02基于實例的推理研究與發(fā)展…
03從低層視覺到高層語義特征…
04編譯原理
05基于Petri網(wǎng)的計算樹邏輯…
06基于確定性現(xiàn)金流的財務(wù)?!?/a>
07計算機應(yīng)用基礎(chǔ)項目實用教…
08自然數(shù)的緊化延伸機器證明…
09數(shù)據(jù)語義學期刊 VII LNCS…
10計算機科學導論:思想與方…