(美)(C.麦卡洛-迪特尔)Carol McCullough-Dieter著;丁重阳等译1999 年出版354 页ISBN:7505354949
(美)Daniel D.Gajski等著;边计年,吴为民等译2005 年出版253 页ISBN:7111164229
本书介绍了嵌入式系统领域的基本概念以及实际的描述和设计方法。论述了嵌入式系统设计的模型和体系结构、描述语言、系统划分、设计质量评估、描述细化以及系统级方法学等方面。...
(德)安德烈亚斯·格布哈特(Andreas Gebhardt)著;曹志清,丁玉梅,宋丽莉等译2005 年出版285 页ISBN:750256876X
本书介绍了各种快速成型技术和快速成型机,对各种快速成型工艺的基本原理作了阐述。
(英)杰弗里·兰开斯特(Geoff Lancaster),(英)莱斯特·马幸哈姆(Lester Massingham)著;丁梅生等译1998 年出版175 页ISBN:7806137521
(美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译2007 年出版284 页ISBN:7111214048
本书是一本介绍数理逻辑的基础教材。