组织变革研究：基于知识图谱与实地调研的交互验证

民用飞机结构强度刚度设计与验证指南 第2册

全面的功能验证 完整的工业流程

本书分为五个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习。第2和第3部分介绍了验证周期等。

数字硬件的形式化验证

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

高级验证方法学

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

微生物检测验证技术

本书重点阐述了微生物检测在医药，食品，化妆品等行业上应用，和所涉及到的仪器与设备，消毒剂与培养基，无菌，微生物数量，抗生素效价，细菌内毒素，控制菌等检查所要求进行的验证项目和内容及验证实验实例。...

Web服务组合建模与验证

本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...

药厂洁净车间净化空调系统验证与验收技术措施

系统测试性设计分析与验证

本书全面介绍了测试性设计分析与验证的有关理论和方法，内容包括：测试性和诊断概念、度量参数和指标、测试性要求和诊断方案、测试点与诊断策略、指标分配和预计以及测试性设计和验证等技术及方法。...

新诗的理论基础与实践验证

邀请教育是一种基于知觉心理学，自我概念和本人主义教育观的教育理论。该书就这一理论从学校教育者、教育政策、教育环境、教育计划和教育过程等五个方面提出了明确的教育策略和方法以及步骤。...