(美)埃德蒙·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 年出版269 页ISBN:9787300119625
本书是与主教材配套的学习指导书,主要用于学习学习使用,主要内容包括:学习指导、各种练习题、练习题解答、教材习题解答、模拟试卷等。...
王钧主编;董圣杰,王金灿,胡岩,孙德明副主编2007 年出版394 页ISBN:7506555107
本书是南京政治学院的教材,收集了部队部分从事党建工作中的党课讲稿525篇。
高德明,吴金生主编2002 年出版958 页ISBN:7801573021
本书共分两大部分,系统地论述了急腹症的范畴、分类、发病机制、诊断思路和方法,具体介绍了各种外科急腹症、腹部外伤与小儿、老年人急腹症,以及引起急性腹痛的相关科疾病,尤其对急腹症新的诊断、治疗措施作了详...
赵德明,吴京主编2010 年出版250 页ISBN:9787565500503
本书由中国农业大学、浙江大学、复旦大学等6所高校长期从事生物安全研究的10余位专家执笔完成的。其内容包括:实验室生物安全的理论基础,实验室安全操作规范和操作流程及实验室所用各种生物试剂的处理规范等...
何礼贤,张秀珍,肖永红著2010 年出版439 页ISBN:9787506747059
本书是卫生部萌芽计划培训教材之一。全书分上下两篇,共28章,上篇介绍临床微生物诊断,阐述了临床微生物检验标本的采集处理方法等内容。下篇介绍了感染性疾病的诊断与治疗,讲述了人体各系统多种常见感染性疾病的...
(美)菲茨杰拉德著;何伟文译2014 年出版429 页ISBN:9787532152520
本书为长篇小说。小说描写的是一个出身豪门、相貌英俊的青年的个人成长史和浪漫爱情史:新婚夫妇安东尼o帕奇和格洛莉亚追求奢侈华丽的上流生活,依凭上一辈的财富不事生产,终日纸醉金迷以致道德、经济、健康不...