类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员

本书收集并对比了所有有价值的焊接方法，以帮助读者选择自己产品的焊接方法，加深理解每种焊接方法的局限性和优点。主要体现在应用方面，如材料的可焊接性，焊接的优化设计，发现并解决焊接过程中的故障以及焊接质量的检测等，这就使本书成为从事焊接工作的每一个人不可缺少的工具。与此同时，手册还阐述了挤压流动、分子扩散和热传导原理等塑料焊接的基本理论原理。作者还提供了大量实例，帮助读者如何选择某一焊接方法的合适材料和焊件形状。本书可供焊接工、焊接设备操作工、材料科学家以及研究工作者阅读和参考。

《射频微电子》(翻译版)共分9章。章和第2章首先介绍了在射频电子学经常遇到的概念和术语，并给出评价射频电路性能的主要指标；第3章定义和描述了模拟信号和数字信号的调幅、调相和调频调制方法；第4章专门介绍3种在无线通信系统中通用的多路存取技术：FDMA，TDMA和MA，及几种常用的无线通信标准，如GSM和Qualm公司的MA；第5章是《射频微电子》(翻译版)的重点，讨论了无线前端收发器的结构和集成电路的实现；第6章至第9章详细讨论了低噪声放大器和混频器、振荡器、频率综合器和功放器的电路原理和分析方法。BehzadRazavi所著的RFMicroelectronics一书既可供高年级或研究生作教科书用，又可满足集成电路设计工作者进一步提高自身知识和设计技能之目的。相对其他RFCMOS电路的书籍，《射频微电子》(翻译版)的特点是系统级的介绍较为详细。即它将无线通信电路系统的

本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。最后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。 本书可以作为计算机相关专业本科