（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（清）何书田著2017 年出版121 页ISBN：9787515212142
本书为青浦何氏家族医学著作之一。竹簳山人即何书田，名其伟，又字书田。吴下名医，曾受林则徐托研制十八味戒烟方，并著有《救迷良方》，名重一时。此书即为其临诊验案集，经过整理誊录而成。书中对于内伤杂病的治疗.....
（英）保罗·斯佩里（Paul S Sperry），（英）比阿特丽斯·米切尔（Beatrice H Mitchell）著；何昌邑，李菁等译2003 年出版178 页ISBN：7301064322
《公司转让》在全球化的进程中屡见不鲜。但人们对公司转让往往有一定的误解，一般认为是由于经营不善或无法运行时才会考虑转让公司，实际情况并非如此。公司转让的原因多种多样，但其目的就是要尽可能以最高价格...
张胜宇，何群益，强晓刚编著2005 年出版290 页ISBN：7502350691
本书首先简要介绍了鲟鱼的种类，分布，资源状现，然后重点介绍了已形成规模养殖的鲟鱼品种的无公害养殖技术，营养需求和病害防治技术等。...
（美）罗伯特·桑兹（Roberta G. Sands）著；何雪松，花菊香译2003 年出版462 页ISBN：7562814244
精神健康已成为健康的重要因素，是社会工作者最重要的实践领域之一。本书可作为社会工作专业的教材或教学参考书，也可作为精神健康实务工作者和社区工作者的指导用书。...
何志毅，柯根斌等著2009 年出版232 页ISBN：9787313061874
企业并购是当前中国企业发展的一大趋势，本书精选中国企业在并购中的10个杰出案例，对中国企业并购进行剖析，总结其中的经验，并指出其中的不足。...
田本淳，何芬芳编著1992 年出版130 页ISBN：711701833X
英文题名:Ananalyseofthesurveyfindingsonfactsforlifein12Provinces/Autonomousregionsofthecountry:反映了我国老、少、边、贫地区在妇幼卫生保健方面的知、信、行状况。 ...
何雪梅编著2014 年出版170 页ISBN：9787122211798
本书介绍了钻石、红宝石、蓝宝石、祖母绿、水晶、玛瑙、翡翠、和田玉、岫玉、昆仑玉、珍珠、珊瑚、琥珀等常见宝石的特征、快速鉴定方法、价值判断依据以及常见的仿制品和人工合成品的鉴别方法。本书内容丰...
郎登何主编2010 年出版282 页ISBN：9787111305477
本书以微软Visual Studio 2008作为工作平台，理论与实践相结合，主要介绍Web项目开发过程中需要用到的知识和技能，包括ASP.NET构造的Web窗体和控件的使用、ASP.NET Web应用程序的调试跟踪机制、ASP.NET进行自定...
