(美)埃德蒙·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
《公司转让》在全球化的进程中屡见不鲜。但人们对公司转让往往有一定的误解,一般认为是由于经营不善或无法运行时才会考虑转让公司,实际情况并非如此。公司转让的原因多种多样,但其目的就是要尽可能以最高价格...
(美)罗伯特·桑兹(Roberta G. Sands)著;何雪松,花菊香译2003 年出版462 页ISBN:7562814244
精神健康已成为健康的重要因素,是社会工作者最重要的实践领域之一。本书可作为社会工作专业的教材或教学参考书,也可作为精神健康实务工作者和社区工作者的指导用书。...
何礼贤,张秀珍,肖永红著2010 年出版439 页ISBN:9787506747059
本书是卫生部萌芽计划培训教材之一。全书分上下两篇,共28章,上篇介绍临床微生物诊断,阐述了临床微生物检验标本的采集处理方法等内容。下篇介绍了感染性疾病的诊断与治疗,讲述了人体各系统多种常见感染性疾病的...
(美)菲茨杰拉德著;何伟文译2014 年出版429 页ISBN:9787532152520
本书为长篇小说。小说描写的是一个出身豪门、相貌英俊的青年的个人成长史和浪漫爱情史:新婚夫妇安东尼o帕奇和格洛莉亚追求奢侈华丽的上流生活,依凭上一辈的财富不事生产,终日纸醉金迷以致道德、经济、健康不...
(美)Robert Lair,(美)Jason Lefebvre著;张俊,何长松等译2002 年出版489 页ISBN:750537544X
何常明著2006 年出版156 页ISBN:7800848523
《自控力》讲述了过去的5年,因为缺乏自控力你都付出了哪些代价?如果用金钱衡量会是多少?如果你仍然没有改变,那么还会付出多大代价?或许,这是永远也得不出的巨大数字。但是集我十年的培训生涯和我个人的经验所...
何亮亮著2006 年出版250 页ISBN:7508605748
香港廉政公署对于打击贪污腐败,维护政府及商业机构的秩序起到了重要作用。本书是凤凰卫视著名时事评论员何亮亮所著,以香港廉政公署成立以来的社会发展为背景,廉署所成功侦办的多起惊心动魄的大案为经纬,全面揭...
何常明著2006 年出版227 页ISBN:7115141290
本书明确地指出了时间管理的根本是对价值观的管理,对状态的管理和对习惯的管理。书中介绍了很多独特且实用的方法,帮助人们提高自己的能力。...