贺新华，刘奇主编2002 年出版244 页ISBN：7810712403
本书论述了疾病观与预防观，临床思维的认识论特点和辩证法，医学技术方法论，医学科学技术系统，医学科学技术的社会作用等内容。
陈利永，陈家祯，蔡银河编著2011 年出版259 页ISBN：9787113127930
本书主要介绍数字电子与逻辑设计的基础知识。主要内容有数字逻辑基础、组合逻辑电路、时序逻辑电路、脉冲产生电路、数/模和模/数转换器，用Verilog HDL语言设计频率计的实例、门电路简介。本书除了介绍上述...
汪长喜主编2018 年出版540 页ISBN：7560370187
本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
