(美)亨德森(S.M.Henderson),(美)佩里(R.L.Perry)著;丁霄霖等译1984 年出版439 页ISBN:16144·2669
计算机程序设计艺术 双语版 第4卷 第3册 生成所有组合和分划 Volume 4 Fascicle 3 Generating all combinations and partitions
(美)Donald E. Knuth著;苏运霖译2006 年出版317 页ISBN:7111177746
本书介绍了程序员盼望已久的MMIX(一个代替原来的MIX、基于RISC计算机),描述了MMIX汇编语言,还介绍了有关子程序、协同程序以及解释性程序的新内容。...
GlynnWinskel著;宋国新,邵志清,潘俊,孙霖等译2004 年出版283 页ISBN:7111131533
本书是计算机专业本科生研究生形式语义学教材。
(英)D.H.劳伦斯(David Herbert Lawrence)著;宋兆霖等译1988 年出版646 页ISBN:754070263X