定 價:¥38.00
01數(shù)字邏輯習題精解精練
02基于范例的推理進展
03創(chuàng)造不同的未來:清華大學…
04編譯原理
05計算邏輯約束:理論與應用…
06抽象代數(shù)基礎教程(英文版…
07計算機組成與體系結構:性…
08自然數(shù)的緊化延伸機器證明…
09算法與計算:會議錄LNCS-…
10計算的未來