第Ⅰ部分是密码学与信息安全的入门性介绍。第Ⅱ部分介绍学习本书的数学背景知识，也可作为学习现代密码学理论基础的系统背景知识。第Ⅲ部分介绍提供保密和数据完整性保护最基本的密码算法和技术。第Ⅳ部分介绍应用密码学和信息安全中一个重要的概念认证。第Ⅴ部分对公钥密码技术（加密、和签密）的强（实用）安全性概念进行严格的形式化处理，并给出认证协议的形式化分析方法。第Ⅵ部分包括两个技术章节和一个简短的评述。本书适合大学本科生、在高科技公司从事信息安全系统设计和开发的安全工程师、企业信息安全系统管理人员或者生产安全产品的软/硬件开发商以及刚开始从事密码学或计算机安全方面研究的博士生等使用。
![计算机图形学与虚拟环境[英]斯拉特（SlaterM.）机械工](http://img3m8.ddimg.cn/59/18/11933792798-1_l.jpg)
非线性系统的研究近年来受到越来越广泛的关注，国外许多工科院校已将“非线性系统”作为相关专业研究生的学位课程。本书是美国密歇根州立大学电气与计算机工程专业的研究生教材，全书内容按照数学知识的由浅入深分成了四个部分。基本分析部分介绍了非线性系统的基本概念和基本分析方法；反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析；现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化以及奇异扰动理论；非线性反馈控制部分介绍了反馈控制的基本概念的反馈线性化，并给出了几种非线性设计工具，如滑模控制、Lyapunov再设计、反步法、基于无源的控制和高增益观测器等。此外本书附录还汇集了一些书中用到的数学知识，包括基本数学知识的复习、压缩映射和一些较为复杂的定理证明。
![VLSI数字信号处理系统设计与实现 (英文版) [美]帕赫 【正版】](http://img3m2.ddimg.cn/66/13/11759492712-1_l.jpg)
本书是一本对基本概念和语言特性有着深刻见解的指南性书籍，同时也是一本包含内容广泛的参考性书籍。本书首先讲述了语言细节，然后对编码技巧进行了广泛的讨论，最后还对模板的高级应用进行了阐述、分析。贯串全书的示例阐明了抽象概念并演示了实践方法。读者将学习到：·正确的模板行为；·如何避开与模板相关的错误陷阱；·从基础的到早前没有文字约定的惯用语法和技巧；·如何在不对性能和安全性造成损害的前提下进行源代码重用；·如何提高C程序的效率；·如何构建更具灵活性和可维护性的软件。
![VLSI数字信号处理系统设计与实现 (英文版) [美]帕赫 【正版】](http://img3m3.ddimg.cn/75/1/11758471833-1_l.jpg)
本书提出了泛型组件的概念，这是一种可重用的设计模板，可用来产生规范的C代码。泛型组件还提供了从设计到代码的无缝转换，生成更能表达设计者最初意图的代码，并支持设计模式的重用只需改动少量的代码。本书是一部重要的著作，全面地展示了泛型模式或模式模板一各在C中创建可扩展设计的功能强大的新方法。这种方法结合了模板与模式，也许很多人觉得不可能，但这却是事实！如果你的工作涉及C设计和编程，那么你不应该错过本书。
本书论述了在软件开发和测试中实际推行软件可靠性工程所需的具体步骤，并将软件可靠性工程的效益落实到每一个具体步骤中。本书的内容组织特别适合快速掌握和运用，详细介绍了一个来自贝尔实验室产品的完整案例研究，读者可以透彻地了解整个软件可靠性工程的全过程。为了便于理解，本书每章都对常见问题进行了解答，所提供的练习可以直接运用于实践。本书将软件可靠性工程核心实践分解为适合一两天学习的过程，即使是软件可靠性工程的新手也可以迅速掌握以下内容：建立可靠性的定量目标、开发操作剖面、使用CASRE估计软件可靠性、确定操作模式。
