定 價:¥34.50
01自然數(shù)的緊化延伸機(jī)器證明…
02計算邏輯約束:理論與應(yīng)用…
03基于范例的推理進(jìn)展
04計算機(jī)組成與體系結(jié)構(gòu):性…
05計算機(jī)科學(xué)導(dǎo)論:思想與方…
06計算機(jī)網(wǎng)絡(luò)(第2版)
07信息技術(shù)實用教程實訓(xùn)
08無處不在的算法(雙色版)…
09CCF 2023中國計算機(jī)科學(xué)技…
10新一代信息技術(shù)導(dǎo)論