可信赖的软件开发

本书详细介绍了几个已被证明为有效的质量方法的理论和实践，它们适合于软件开发，可以很好地交互使用。适用于软件开发企业的开发、管理人员。...

DESIGN FOR TRUSTWORTHY SOFTWARE可信赖的软件开发

本书详细介绍了几个已被证明为有效的质量方法的理论和实践，它们适合于软件开发，可以很好地交互使用。适用于软件开发企业的开发、管理人员。...

可信云计算基础设施关键技术

可信云安全的关键技术与实现

本书讲解了可信“云安全”的关键技术与实现，主要涵盖指纹识别、人脸识别、语音识别在内的十大关键技术，以及其实现

可信编译构造理论与关键技术

本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应...

分行繁美 距离比值迭代分形及复迭代函数系统的研究

通过句法位置提取中文关键词的实验研究

本书详尽描述了自然语言处理尤其是信息检索的各种主要方法，并对信息检索领域“相关性”这一核心概念做了非常充分的回顾与文献综述，在此基础上提出了基于句法位置提取关键词的初步设想。...

迭代学习控制理论

可信网络连接与可信云计算

本书介绍了虚拟化技术、可信移动终端技术，论述了基于安全属性的行为度量技术、基于可信基的动态度量技术和基于控制流与信息流的软件度量技术。不仅包括理论基础，同时包括实现方法与应用。本书是对作者近年来...

迭代学习控制理论及应用

本书介绍了迭代学习控制理论，方法及其实现技术。