硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

医学检验与临床

本书系统地介绍了医学检验的重要性及检验的各个环节，是一本医学检验学科的指导性读物。

检验与临床应用进展

本书介绍检验医学的相关知识与资料，以及检验医学对于临床应用的作用。

临床微生物学与检验 第4版

本书为检验专业本科规划教材。

高级验证方法学

本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......

临床微生物学与检验习题集

本书是医学院校检验专业本科规划配套教材。

临床输血与检验习题集

本书是全国高等医学院校检验专业规划教材《临床输血与检验》（第2版）的配套教材习题集。习题分为三种类型：名词解释、选择题和简答题。

临床血液学与检验实验指导 第3版

肿瘤的现代检验诊断与临床

本书运用国内外最新医学科技成果，对肿瘤的现代检验诊断作了系统介绍。可供广大医务人员及社区护理人员以及广大医学专业师生和读者阅读。...

临床微生物学与检验实验指导 第3版

本书是检验专业本科规划配套教材。