海洋地球物理：理论与方法
《海洋地球物理：理论与方法》,作者:张健等 编著 出版社:科学出版社 ISBN:9787030649690。本书是一本系统介绍海洋地球物理理论及其实际应用方法的专著全书共4章，第1章全面介绍海洋地球物理的学科定位与体系，回顾其发展历程，展望其未来趋势，第2章为海洋地球物理基本理论部分，系统介绍海洋地球物理场的基本理论、物理本质与几何表示，第3章为海洋地球物理数据分析部分，重点介绍数据与
张健
逻辑公式的可满足性判定 : 方法、工具及应用
《逻辑公式的可满足性判定 : 方法、工具及应用》,作者:张健著 出版社:科学出版社 ISBN:7030083644。本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
大学生职业发展教育与就业指导
《大学生职业发展教育与就业指导》,作者:张华东,曹占东,张健 出版社:科学出版社 ISBN:9787030498618。本书是普通高等教育"十三五"规划教材，全书共十二章，分别是树立正确的职业观和择业观，职业设计，大学生职业发展，职业发展影响因素，大学生就业形势择业观，大学生就业对策探讨，大学生就业信息，大学生就业准备，大学生自主创业，择业技巧，求职材料，就业协议、劳动合同与社会保障制度。
常见疾病临床药学监护案例分析-小儿感染性疾病分册
《常见疾病临床药学监护案例分析-小儿感染性疾病分册》,作者:张健,朱晓东 主编 出版社:科学出版社 ISBN:9787030598158。 本书涵盖了常见的儿童感染性相关疾病，包括肺部感染、腹腔感染、血流感染、中枢神经系统感染、消化系统感染、泌尿系统感染、骨关节感染及新生儿感染共9章，每个系统感染选取了3-6个典型案例，从疾病基础知识、临床表现到药物特点、合理应用、进行系统化的药物治疗方案和药学
海底构造与地球物理学
《海底构造与地球物理学》,作者:吴时国，张健编著 出版社:科学出版社 ISBN:9787030409348。本书综合海洋地球物理、海底构造学和海洋地质学等学科近年来的研究成果，强调海洋地球物理与海底构造学之间的学科交叉，系统地介绍了海洋地球物理的基本理论与方法技术，厘定了海底构造和地球物理的基本概念，分析了学科的发展趋势和创新点，论述了海底构造的形成演化及动力学过程。
数据挖掘中的集成方法: 通过集成预测来提升精度
《数据挖掘中的集成方法: 通过集成预测来提升精度》,作者:(美)Giovanni Seni，(美)John Elder著 ; 王攀,张健,杨洋,彭宇阳,卢其兵译 出版社:科学出版社 ISBN:9787030443274。本书讨论基于决策树的集成，分析被视为当前现代集成算法高级性能的主要原因之一的正则化问题，描述集成方法领域近年来的两个发展——重要性采样(IS)和规则集成(RE)，论述新数据信息集成
三维SPH算法在冲击动力学中的应用
《三维SPH算法在冲击动力学中的应用》,作者:初文华,明付仁,张健 著 出版社:科学出版社 ISBN:9787030561107。 本书重点介绍了三维SPH数值模型在处理典型冲击动力学问题中取得的研究成果。首先，SPH方法虽然在处理结构大变形与动力物质交界面方面具有很大优势，但对冲击动力学问题进行三维数值模拟时，仍存在缺陷，对此，本书开发了处理非连续问题的三维SPH数值模型，针对结构入水冲击、穿
数字电子技术教学研究与案例
《数字电子技术教学研究与案例》,作者:唐彰国,刘莉,张健 著 出版社:科学出版社 ISBN:9787030528162。 本书分为四部分：第一部分提出数字电子技术课程“以学生为中心”的能力模型及面向学生思维要素建构的教学方案；第二部分从知识的角度对教材及学习资源进行全方位视角的研究，提出课程内容的多维重构方法；第三部分面向教师的教学知识基于TPACK框架对数字电子技术的教法进行体系化研究，形成体
