（美）迈克尔·夸克，朱利安·瑟达著2009 年出版600 页ISBN：9787121089442
本书详细追述了半导体发展的历史并吸收了当今最新技术资料，学术界和工业界对本书的评价都很高。全书共分20章，根据应用于半导体制造的主要技术分类来安排章节，包括与半导体制造相关的基础技术信息；总体流程图的...
（美）迈克尔·E·泰戈，（美）安杰拉·J·戴维斯编；陈虎，郭春镇，杨瑞译2012 年出版369 页ISBN：9787300150048
本书描述了9个典型的庭审判例，案例的主题包括从叛国罪、死刑、诈骗、个人权利、妇女权利到产品安全、公司违法等，每个案例不仅是重述了判例的故事，也揭示了对抗式庭辩的规则和技巧。本书的作者都不仅具有实践...
（澳）斯蒂芬·迈克尔·金著绘；余治莹译2017 年出版30 页ISBN：9787549595815
《爸爸，你爱我吗？》是一本讲述父子亲情的温馨图画书。有一个爸爸他有一个很可爱的儿子，儿子喜欢风筝，而爸爸喜欢箱子，各种各样的箱子，大的、小的、高的、矮的。儿子很爱他的爸爸，爸爸也很爱他的孩子，可是他不......
（美）迈克尔·T·克拉雷著；林自新，李康民，闫鲜宁，张定媛译；胡晓梅校2014 年出版263 页ISBN：9787542861320
本书是著名自然资源问题专家迈克尔·克拉雷的又一力作，论述了一场新的、充满危险的全球竞争。世界正面临史无前例的资源枯竭危机——继“石油峰值”之后出现的一场资源短缺危机，囊括了煤和铀、铜、锂、水和耕...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
（美）Arman Danesh，（美）Michael Jang著；邱仲潘等译2001 年出版562 页ISBN：7505370634
（美）Michael Wynston著；CCIE＃5449师夷工作室译2001 年出版358 页ISBN：7500645600
（美）（M.J.杨）Michael J.Young著；邱仲潘等译1997 年出版811 页ISBN：7505341456
