验证
-
中国学生英语理解能力量表的构建及验证研究
王淑花编2012 年出版244 页ISBN：9787513010337本书针对国内外现有语言能力标准未能建立语言思维能力的描述指标体系的现状，本著作基于教育目标分类学理论，吸收国际前沿的语言能力标准的精华，建立了中国学生语言理解能力的描述指标体系，并通过在700余名大、...
-
制药工艺验证实施手册
何国强主编；陈跃武，马义岭副主编2012 年出版366 页ISBN：9787122146915本书共22章，主要内容包括：本书编制的背景、范围及特点；从验证的基本概念、GMP法规及相关指南等对验证的要求及对完整的验证生命周期进行了阐述；制药企业厂房设施、工艺流等设计的GMP符合性审核。制药企业的验证...
-
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
列车运行控制系统规范建模与验证
唐涛，徐田华，赵林著2010 年出版206 页ISBN：9787113114602本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的...
-
电子商务交易协议理论与验证方法
王茜编著2010 年出版181 页ISBN：9787306035004本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述，阐述了电子商务交易协议的分析验证方法。...
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
-
SystemVerilog与功能验证
钟文枫编著2010 年出版209 页ISBN：9787111313731本书共11章，系统论述了基于SystemVerilog的功能验证理论与方法，全书详细阐述了以下三个方面的内容：功能验证在整个FPGA/ASIC设计流程中的作用及主要的验证技术和方法学。SystemVerilog在功能验证上的语法结构...
-
集成电路系统设计、验证与测试
（美）LouisSchefferLucianoLavagnoGtantMartin等著2008 年出版475 页ISBN：9787030214904 -
-
-
信息安全仿真验证技术
王冬海，雷璟，马进胜，彭武著2015 年出版239 页ISBN：9787118106282本书介绍信息安全仿真、信息安全验证、信息安全测试、信息安全评估的基本概念；信息安全仿真验证的理论基础、技术基础和应用基础；信息安全仿真验证技术的国内外发展状况；信息安全仿真理论与方法、基于仿真的信...
-
新诗的理论基础与实践验证
冬婴著2012 年出版246 页ISBN：9787104036524邀请教育是一种基于知觉心理学，自我概念和本人主义教育观的教育理论。该书就这一理论从学校教育者、教育政策、教育环境、教育计划和教育过程等五个方面提出了明确的教育策略和方法以及步骤。...
-
Altium Designer 15.0电路仿真 设计 验证与工艺实现权威指南
何宾编著2015 年出版655 页ISBN：9787302409199本书首次全面系统地介绍了Altium Designer 15.0电子线路设计软件在电子线路仿真、设计和验证方面的应用。全书共分15章，以电子线路的SPICE仿真、电子元器件识别、电子线路信号完整性理论、电子元器件原理图...
-
国外食品安全生物学分析方法验证指南
岳振峰，梁均主编2015 年出版319 页ISBN：9787506678612本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全生物学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分三篇（约25万字），包括食品安全...
-
常见食物营养百科 告诉你经过科学验证的食物营养秘密
（美）托妮娅·莱恩哈德著；于军琴，李晟月，郝蕴译2016 年出版215 页ISBN：9787121274800怎么吃得健康、营养一直是我们每个人最关心的问题，而超级食物就是指那些具有极高营养价值的食物，它们不仅能够提供我们需要的营养元素，还能增强我们的免疫系统，并保护我们免于生病，还能让我们更加健康、更加年轻...
-
民用飞机安全性丛书 民用飞机安全性设计与验证技术
郭博智，王敏芹，阮宏泽主编2015 年出版274 页ISBN：9787516508275民机安全是民机事业的生命线。安全性设计是飞机设计中重要的一个环节。安全性工作对于飞机设计阶段、特别是飞机交付后的全寿命周期具有重要的意义。近几年，在国家大型客机发展战略的部署下，作为民机研制工作...
-
嵌入式实时系统 调度、分析和验证
（美）阿尔伯特陈著2015 年出版404 页ISBN：9787512418714本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（formal analysi...
-
“7步”为盈 首次在中国揭晓一个已经被验证逾百年的金融奇迹
（澳）约翰·菲茨杰拉德著；孙斌艺译2014 年出版154 页ISBN：9787802577138约翰·菲尔杰拉德是一位广受尊敬的领先澳大利亚房产界的投资专家，同时，他还是一位千万富翁与慈善家。他一直在使用同一财富积累体系，该体系经过试用并接受了长达30年的市场考验，已经获得成功。更重要的是，它还经...