(美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著;何自强等译2005 年出版289 页ISBN:7121007797
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本...
郭沫若著;( )勒斯特(Jong Lester),( )巴恩斯(A.C.Barnes)译2001 年出版183 页ISBN:7119027786
(美)卡斯特(Kast,F.E.),(美)罗森茨韦克(Rosenzwig,J.E.)著;李注流等译1985 年出版724 页ISBN:7500402864
(美)莱斯特·瑟罗(Lester C.Thurow)著;周晓钟,张蕴岭等译1999 年出版316 页ISBN:780050333X
P.AGRAWAL,A.FIECHTER,C.KLEINSTREUER1984 年出版204 页ISBN:3540135391
DanielLu,C.P.Wong著2012 年出版570 页ISBN:9787111363460
本书广泛综述了先进封装技术的最新发展,包括三维3D封装、纳米封装、生物医学封闭等新兴技术,并重点介绍了封装材料与工艺方面的进展。