本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念广泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证，具有较高的实用性。本书不仅可以作为高等学校计算机相关专业的编程语言理论课程教材，也可供相关领域的科研人员和技术人员参考阅读。

Web服务组合作为一种崭新的分布式计算模型，已成为面向服务的计算的核心技术。《语义Web服务组合若干关键技术研究》根据Web服务组合的生命周期，展开了对语义WebaR务组合关键技术的研究，重点在Web服务和Web服务组合的形式化模型、Web服务自动组合的推理算法、Web服务组合的正确性验证、Web服务组合的异常处理四个方面进行了有效的探索与尝试。同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC，对于推进动态服务组合技术的理论研究和实用化具有一定的理论价值与应用价值。《语义Web服务组合若干关键技术研究》可作为理工科院校计算机专业研究生的参考书，也可作为Web服务组合研究和应用开发人员较快地了解相关领域知识及技术的参考资料。

《单片机汇编语言编程100例》共分13章，主要内容包括单片机的基本知识，MCS一5l单片机基础知识，MCS一51指令系统，MCS一51汇编语言程序设计，中断控制、定时／计数器，单片机串行通信系统，单片机存储器扩展技术，单片机I／0接口扩展与应用，输入／输出接口技术，抗干扰技术，单片机应用系统设计与开发，KeilC51简介，综合实例。在综合实例章节中，特意设计几个大的程序，目的是给工程项目开发人员提供了相关开发思路及程序参考，同时也为初学者进入项目开发级奠定了基础。《单片机汇编语言编程100例》内容全面，且编写方法循序渐进，书中的每个实例都经过实际验证，相信读者通过阅读此书，可很快地掌握单片机汇编语言编程技术，使理论知识和实际开发水平上升到一个新的高度。《单片机汇编语言编程100例》既适合于单片机初学者及工程技术人员及相关电子技术人员阅读，也适合于各类高职高专及再就业培训做教材使用。

《Hadoop Hacks：专家使用的实践技巧》以理解了Hadoop基础知识的读者为对象，总结了实际环境下熟练操作Hadoop的技术和技巧。这些技巧涵盖了广泛的内容，包括从系统构建∕运用、应用程序开发等熟练使用Hadoop特性的方法，到关于HBase、Hive、Pig、Mahout、ZooKeeper等子项目的技巧。书中描述了高效利用Hadoop所必备的工具及其使用方法、以及了解内部运行的方法、更先进的技术等开发环境必备的74个技巧。《Hadoop Hacks：专家使用的实践技巧》由较早开始关注Hadoop并在实际中灵活使用Hadoop的技术者执笔，是那些希望灵活运用Hadoop的工程师必备的一本书。

本书以STM32系列32位Flash MCU为例，以“一切从简单开始”为宗旨，以直接操作寄存器为设计方法，介绍了ARM Cortex-M3系统的设计与实现。全书共10章：第1章简单介绍STM32 MCU和SysTick的结构，第2章以一个简单的嵌入式系统设计为例详细介绍SysTick和GPIO的应用设计，第3、4、7章分别介绍USART、SPI和I2C等串行接口的结构和设计实例，第5、6章分别介绍TIM和ADC的结构和设计实例，第8、9章分别介绍NVIC和DMA的结构和设计实例，第10章以实时钟系统设计为例介绍STM32 MCU系统的设计与实现。

《新锐编程语言集萃：Haskell趣学指南》是一本讲解Haskell这门函数式编程语言的入门指南，语言通俗易懂，插图生动幽默，示例短小清晰，结构安排合理。书中从Haskell的基础知识讲起，涵盖了所有的基本概念和语法，内容涉及基本语法、递归、类型和类型类、函子、applicative函子、monad、zipper及所有Haskell重要特性和强大功能。《新锐编程语言集萃：Haskell趣学指南》适合对函数式编程及Haskell语言感兴趣的开发人员阅读。

随着互联网技术的不断发展壮大，网络覆盖率和可联网设备不断增加，用户对可访问性的需求也与日俱增。《渐进增强的Web设计》是一本网页设计与开发方面的实用指南，介绍了一种渐进增强的编程方法，利用JavaScript、高级CSS和Ajax制作能实现高度交互体验的网站，同时还确保代码库无需修改就能到处运行。这个法则简单地说就是建议所有的网站内容和功能都以语义化的HTML为基础，让任何具备网络功能的设备都可以使用，然后再在上面无缝叠加基于高级CSS和JavaScript的增强功能。《渐进增强的Web设计》适合网站设计和开发人员阅读。

《Raspberry Pi：Python编程入门》以创客的视角介绍Raspherry Pi（树莓派）及其主流编程语言Python，用大量贴近工作和生活的实例引导读者快速用Python给Raspherry Pi编程，以及利用GPIO接口开发轮式机器人这样的硬件项目。《Raspberry Pi：Python编程入门》配有专门的在线资源，读者可免费下载书中所有例子的代码。《Raspberry Pi：Python编程入门》非常适合作为广大Raspherry Pi爱好者的入门书，也适合高等院校计算机及电子信息相关专业师生选读。

面向对象软件设计的经典书籍，如《敏捷软件开发》、《领域驱动设计》、《设计模式》、《测试驱动开发》、《极限编程》、《重构》等，已名声在外，其解读书籍也多如牛毛。但其往往只讲述某个方面，要整体理解，必须通读原著，阅读量颇大，特别原著比较深奥，短时间内很难完全理解。市面上缺乏整体归纳、提炼浓缩的书籍。《面向对象开发参考手册》致力于让读者形成一个整体、全面的概念和印象，浓缩、提炼了经典书籍的精华，结合作者自身十几年的经验，力争呈现一本深入浅出、兼收并蓄、涉及各个方面的综合版本，可以缩减学习的时间成本，并能够像工具书一样翻阅参考。《面向对象开发参考手册》写作之初是为了作者所在公司开发人员培训用。作者为公司人员进行了100多课时的培训，按照培训内容整理了《面向对象开发参考手册》。从这个角度来说，它特别适合开发人员学习使用，尤其适于那些刚毕业的“菜鸟”们学习使用。当然，学习是没有穷尽的，资深的开发人员，也可以经常翻阅《面向对象开发参考手册》来寻找灵感。

《Verilog编程艺术》深入地探讨了Verilog编程，分为七个部分：设计原则、语言特性、书写文档、高级设计、时钟和复位、验证之路、其他介绍。本书对这些部分做了重点的探讨：Verilog编码风格、Verilog-2001的新特性、简洁高效的编程、容易出错的语言元素、可配置设计、时钟生成、复位设计、验证方法等。另外，本书还对SystemVerilog做了简单的介绍。