类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员
方敏编著的《计算机操作系统》从原理、技术、设计实现三个方面讲述了计算机操作系统，即首先从操作系统设计原理出发，介绍操作系统的设计思想和实现技术，然后回到目前普及的现代操作系统卜加以实例讲解和深化，是实际应用。全书以UNIX和Windows2000／XP为实例辅助原理介绍，并给出相应的编程接口和实用操作。这种集原理、技术以及设计实现于一体的特点是本书的独到之处。《计算机操作系统》适合作为计算机专业本科及其他相关专业的操作系统教程，对于从事计算机应用和开发的技术人员也具有很高的参考价值。
本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。本书可以作为计算机相关专业本科生和研
本书共分为部分，以飞行员“心理选拔”、”心理能力提升”、“心理健康维护”和“航空灾难危机干预”为主线，系统阐述飞行员心理选拔的依据、指标特征和技术方法；阐述心理能力提升的理论基础、基本原理和技术方法步骤；通过论述航空心理健康和心理学检查的技术方法，论述飞行员心理健康维护理论与技术方法；针对航空灾难性事件，阐述应激反应理论模型，以及心理危机过程，进一步指导灾难心理危机干预。
本书分两大部分向读者展示了智能参数驱动构件的实现途径——GDL参数化程序设计语言。部分介绍GDL语言的概念，GDL对象即智能参数驱动构件的特点、类型，重点讲述了GDL语言的编写，逐条介绍产生几何图形的指令，不产生几何图形的指令，表达式与函数以及控制指令，并有针对性强的例子以加深读者对各指令的理解；第二部分从应用的角度讨沦如何充分利用GDL语言创造参数化构件，在讲解例子的同时，提供一些实用的设计概念和注意事项以及编辑GDL的技巧来帮助读者更轻松的学习GDL语言。 本书深入浅出，循序渐进，强调基本概念及其应用。即可作为一般ArchiCAD使用者创建特殊构件的入门向导，也可以作为专业人员开发本地化GDL构件的参考。
《高等学校“十一五”规划教材：量子力学（修订本）》简明扼要地讲述了量子力学的基本概念和基本原理，特别注重对解决问题能力的培养。为此，每一章后面都附有若干典型习题的讲解和习题，书后给出7套模拟试题，以备读者检验学习效果之用。习题和模拟试题的解答可以在与《高等学校“十一五”规划教材：量子力学（修订本）》配套使用的《量子力学习题解答》中找到。在量子力学教学大纲界定的范围内，书中介绍了薛定谔方程的一些新的实用解法，诸如微扰论的递推公式、变分法的迭代公式、透射系数的递推公式等。为了克服读者在数学上可能遇到的困难，在求解线谐振子、圆谐振子、球谐振子和氢原子问题时，采用与特殊函数方程对比的方法直接得到相应的本征解，从而简化了求解过程。为了加深对基本概念的理解，书中特别强调了一些看似相同问题
汇集欧美国家一些企业遵循工业设计创新理念及科学的设计管理，成功开发新产品的经典范例，内容丰富、实际、全面体现设计与管理的昆密结合，很具有代表性。这些案例已人为美国哈佛大学商学院以及欧洲、日本等众多学院的经典教材。对于我国，它不仅能够充实院校的设计教学内容，有助于设计教育改革的师资培训，而且对于企业界和设计界进行创新开发工作和培养，使用设计管理人才均有长远的指导意义。
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。
本书全面地介绍了面向对象的编程技术。它提供了全面的算法分析的基本内容，比较了算法和数据结构，以及用于面向对象分析和大型信息系统设计的基本软件工程原则。它是本在中级水平上介绍软件设计和开发的数据结构书籍。 主要特色： 数据结构库：详细讨论并用Java实现了列表、堆、补偿树、图表和文件。 UML：针对二、三年级的学生，通过UML子集介绍了软件分析和建模技术。 计时分析：贯穿全书广泛地分析和使用了计时技术。 两个案例分析：通过实例说明了非一般系统的分析和设计的面向对象的开发过程。 电子资料：书中涉及到的所有代码以及带有所有标准数据结构实现过程的设计良好的数据结构库的示例均可下载使用。
本书主要介绍SystemC的硬件建模方面，即SystemC的RTL可综合子集。采用该子集编写的模型可以综合成逻辑门电路，进而进入模型的硬件实现阶段。 本书专门面向那些希望学习和了解SystemC的设计工程师和系统工程师。本书适合于初学者，可以作为高校的体系结构、数字设计和系统设计等课程的教材。
密码学涉及解决通信保密问题的计算系统的概念、定义及构造。密码系统的设计必须基于坚实的基础。本书继上一卷对这一基础问题再次给出了系统而严格的论述：用已有工具来定义密码系统的目标并解决新的密码学问题。全书详细阐述了三种基本应用：加密、和一般的密码学协议。该书的重点是澄清基本概念及证明密码学问题解决方法的可行性，而不侧重于对特殊方法的描述。 本书可作为密码学、应用数学、信息安全等专业的研究生教材，也可作为相关专业人员的参考用书。
汇集欧美国家一些企业遵循工业设计创新理念及科学的设计管理，成功开发新产品的经典范例，内容丰富、实际、全面体现设计与管理的昆密结合，很具有代表性。这些案例已人为美国哈佛大学商学院以及欧洲、日本等众多学院的经典教材。对于我国，它不仅能够充实院校的设计教学内容，有助于设计教育改革的师资培训，而且对于企业界和设计界进行创新开发工作和培养，使用设计管理人才均有长远的指导意义。
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。
本书共分11章，分别就SCILAB操作入门、数值运算、SCILAB数据类型及程序设计、计算结果可视化、SCILAB与C或FORTRAN程序的接口等内容进行了阐述。
本书收集并对比了所有有价值的焊接方法，以帮助读者选择自己产品的焊接方法，加深理解每种焊接方法的局限性和优点。主要体现在应用方面，如材料的可焊接性，焊接的优化设计，发现并解决焊接过程中的故障以及焊接质量的检测等，这就使本书成为从事焊接工作的每一个人不可缺少的工具。与此同时，手册还阐述了挤压流动、分子扩散和热传导原理等塑料焊接的基本理论原理。作者还提供了大量实例，帮助读者如何选择某一焊接方法的合适材料和焊件形状。本书可供焊接工、焊接设备操作工、材料科学家以及研究工作者阅读和参考。
本书全面论述了供应链的起源、现状、具体的运作方法以及发展的趋势，给出了供应链管理的基本决策框架、关键管理要素以及实际运做方式。概念明确、内容全面，视角宽广，案例丰富。可作为MBA以及其他管理类专业的教材，也可作为企业管理的培训教材，还可供有关从业人员作为专业参考书阅读。本书作者通过潜心研究400多部专著及论文，并对50多位全球知名企业的高管进行访谈，总结出企业创造切实可行的竞争优势的12种驱动力，并清晰地告诉读者：供应链管理概念不是一种时尚，而是当今动态的全球市场环境下获得竞争优势不可或缺的战略。书中列举了全球众多企业的实践案例，帮助学生，业内人士有效地理解与实施供应链管理战略。
《国外电子与通信教材系列：信号完整性分析》全面论述了信号完整性问题。主要讲述了信号完整性和物理设计概论，带宽、电感和特性阻抗的实质含义，电阻、电容、电感和阻抗的相关分析，解决信号完整性问题的四个实用技术手段，物理互连设计对信号完整性的影响，数学推导背后隐藏的解决方案，以及改进信号完整性的设计准则等。该书与其他大多数同类书籍相比更强调直观理解、实用工具和工程实践。它以入门式的切入方式，使得读者很容易认识到物理互连影响电气性能的实质，从而可以尽快掌握信号完整性设计技术。《国外电子与通信教材系列：信号完整性分析》作者以实践专家的视角提出了造成信号完整性问题的根源，特别给出了在设计前期阶段的问题解决方案。这是面向电子工业界的设计工程师和产品负责人的一本具有实用价值的参考书，其目的在
方敏编著的《计算机操作系统》从原理、技术、设计实现三个方面讲述了计算机操作系统，即首先从操作系统设计原理出发，介绍操作系统的设计思想和实现技术，然后回到目前普及的现代操作系统卜加以实例讲解和深化，是实际应用。全书以UNIX和Windows2000／XP为实例辅助原理介绍，并给出相应的编程接口和实用操作。这种集原理、技术以及设计实现于一体的特点是本书的独到之处。《计算机操作系统》适合作为计算机专业本科及其他相关专业的操作系统教程，对于从事计算机应用和开发的技术人员也具有很高的参考价值。
本书围绕老字号品牌管理这一热点主题，以消费心理的视角对老字号品牌内涵及特征、老字号品牌怀旧、老字号品牌真实性、老字号品牌传承、老字号品牌文化认同、老字号品牌资产的评估与管理、老字号品牌创新管理等进行研究，结合丰富的商业案例以及严谨的实证等研究方法，探索了老字号特有的品牌变量影响消费者行为的反应机制，提出了品牌活化与复兴品牌涵义等方法，构建老字号品牌资产评价体系，并提出老字号创新管理的分析与建议。本书适合大专院校市场营销相关研究人员以及相关企事业单位特别是老字号品牌企业管理人员阅读参考。
