模型检测

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

竹簳山人医案

（清）何书田著2017 年出版121 页ISBN：9787515212142

本书为青浦何氏家族医学著作之一。竹簳山人即何书田，名其伟，又字书田。吴下名医，曾受林则徐托研制十八味戒烟方，并著有《救迷良方》，名重一时。此书即为其临诊验案集，经过整理誊录而成。书中对于内伤杂病的治疗.....

万有文库第一集一千种训诂学引论

王云五主编何仲英著1933 年出版108 页ISBN：

万有文库第一集一千种人事管理

王云五主编何清儒著1933 年出版145 页ISBN：

万有文库第一集一千种浙东学派溯源

王云五主编何炳松著1933 年出版205 页ISBN：

电工电器仪表工具故障案例分析与快速检修

何建军，张为主编2006 年出版279 页ISBN：7118040711

本书汇编目前国内外新型电工电器仪表工具故障1100个疑难案例的分析与快速检修。

双向渐进式日语教程

王春香，朱丽颖，何明清主编；何熠楠，刘智林，肖宏，蒋健健，蔡进宝副主编2007 年出版272 页ISBN：7561136528

本书完全按照国家教委最新批准的大学日语（第二外语）教学大纲要求编写，可供大学本科生，专科生和研究生学习第二外语以及社会各界人士初学日语使用。全书由语言认知系统，渐进式学习和认知系统构成。...

中西医结合男科学

何清湖，秦国政主编2005 年出版474 页ISBN：7117066962

本书上篇总论论述中西医结合男科学的概念、研究方法，男性生殖器的解剖、生理病理、男科病的检查与诊断等。下篇各论介绍男科常见症状的鉴别诊断与治疗，常见男性疾病相关理论与诊疗方法。书末附有男科病常用方...

网络信息编辑实务

何海波，李音韵，金云主编2015 年出版305 页ISBN：9787568400626

本书采用“任务提出——相关知识——任务实施”的编写方式，从网络编辑人员必备的职业素质和专业技能出发，介绍了网络编辑工作，网络信息的收集与归类，网络文稿编辑，网络多媒体信息编辑，网络原创内容，网络专题策......

机械制图习题集

王静，思海兵，胡树山主编；肖露，叶喜聪，黄才华，何恩义，郗志刚，刘荣娥副主编；丁一主审2016 年出版71 页ISBN：9787568018159

本书为作者主编的教材《机械制图》配套的习题集，主要内容包括制图的基本知识、投影基础、曲线和曲面、立体的投影、平面与立体相交、立体与立体相交、轴测图、组合体、物体常用表达方法、标准件、零件图、焊...