验证
-
-
出版传媒集团投融资效率研究 基于体制变迁的评价与验证
杨庆国2017 年出版200 页ISBN：9787565720499本研究将新闻出版投融资体制变迁与出版传媒集团投融资效率进行交叉研究，核心是实现两个目标：一是厘清新闻出版业”转企改制”所形成的投融资体制变迁对出版传媒集团投融资及其效率的作用机理与二者关联关系；二...
-
-
芯片验证漫游指南 从系统理论到UVM的验证全视界
刘斌著2018 年出版538 页ISBN：9787121339011资深验证专家刘斌（路桑）向您全面介绍芯片验证，从验证的理论，到SystemVerilog语言和UVM验证方法学，再到高级验证项目话题。这本综合性、实用性的验证理论和编程方面的图书，针对芯片验证领域不同级别的验证工程师，给...
-
-
-
VPN及安全验证技术
李志杰主编；李久仲，李兆伦，所辉等编著2014 年出版209 页ISBN：9787121232657本书共分五单元。第一单元介绍VPN基础知识，第二单元介绍windows服务器中的VPN技术及应用，第三单元介绍linux服务器中的VPN技术及应用，第四单元介绍路由器中的VPN技术及应用，第五单元介绍VPN专用设备的VPN技术及...
-
直喷汽油机共轨喷油系统的建模、验证和控制
（意）杰奥范尼·费恩格，（意）阿莱圣德罗·迪·盖依塔，（意）安杰罗·帕拉第诺，（意）范尼埃罗·吉格里奥著；王尚勇译2015 年出版81 页ISBN：9787111491224本书首先介绍了内燃机的基本概念、相关的主要运行参数以及发动机管理系统的概念，然后介绍了直喷汽油机的基本概念；直喷汽油机的共轨喷油系统；重点介绍了共轨喷油系统的面向控制的模型；共轨喷油系统喷射压力控制...
-
面向对象软件的形式验证技术
文志诚著2011 年出版172 页ISBN：9787811186482本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。
-
资产定价理论：逻辑分析和经验验证
刘晓峰著2003 年出版193 页ISBN：7505837621资产定价理论是金融经济学研究的核心内容之一。本书在广度上对各类证券资产定价理论和方法进行了梳理，对其发展历史进行了回顾，并对其各自特点分析框架及发展前景进行了比较。...
-
转基因食品食用安全性和营养质量评价及验证
邓平建主编2003 年出版293 页ISBN：7117056061本书介绍了转基因食品这一新技术，包括转基因食品的标准及检验技术，转基因食品的特殊卫生问题、食用安全性和营养质量问题，转基因食品的营养质量评价及验证技术方法。读者对象为科研、教学人员及学生。...
-
-
-
药品生产验证指南 2003
白慧良，李武臣主编2003 年出版622 页ISBN：7502541713本书介绍了GMP验证（制药工业质量管理系统的验证）的基本理论和方法，并注重以大量实例介绍验证过程，可操作性强。
-
数字硬件的形式化验证
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
-
系统测试性设计分析与验证
田仲，石君友编著2003 年出版415 页ISBN：781077297X本书全面介绍了测试性设计分析与验证的有关理论和方法，内容包括：测试性和诊断概念、度量参数和指标、测试性要求和诊断方案、测试点与诊断策略、指标分配和预计以及测试性设计和验证等技术及方法。...
-
-
-
-
