D语言是一种通用的系统和应用编程语言，它保持了生成高效代码以及直接访问操作系统API和硬件的能力。《D程序设计语言》是一本介绍D语言的权威书籍，全面、系统、专业地讲解了D语言相关的内容。书中涵盖了D语言的方方面面，不但介绍了语言的表达式、语句、类型、函数、契约、模块、类和结构等基本内容，还通过常见示例，深入解释了所有语言特性，讲解了如何将语言特性进行组合以支持重要的编程范型，阐述了每一项主要特性的基本原理，对它们的最佳用途给出了建议，并对跨领域的问题（如错误处理、契约编程和并发性）进行了讨论。此外，书中还通过大量的图表，为使用D语言解决日常问题提供了快速参考。其细致入微的讲解让人几乎觉得有些“啰嗦”，但正是这些“啰嗦”内容更能加深人们对D语言程序设计的理解，进而拓展到对一般意义上的编程语言程序设计的理解。《D程序设计语言》不仅适合于D语言初学者，对于想学习编译器实现的研究人员、想拓展学生的编程语言知识面的教师以及想深入了解编程语言设计的人，也能提供很好的帮助和指导。

《程序分析方法》共7章，第1章介绍程序设计语言的历史以及未来的发展趋势；第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用；第3章介绍信息流分析技术；第4章介绍别名分析的相关知识；第5章介绍程序分片的基础知识和方法；第6章介绍形式概念分析的相关知识和应用；第7章介绍部分求值技术的相关内容。《程序分析方法》可作为计算机相关专业本科高年级学生及研究生教材，也可作为程序开发人员的参考用书。

本书针对XQuery语言的原理，从抽象语法和形式语义出发分析了其语言特征，从数据库技术和编译技术两个角度全面介绍了XQuery语言的实现原理，深入讨论了适用于该语言的XML查询及其优化技术、查询计划描述语言的设计原理、编译优化技术和自动并行化方法，展示了XQuery查询引擎、XQuery并行查询引擎、XQuery编译系统等多种XQuery语言的实现方案，并且通过一个基于XQuery语言的网页编程工具的开发，介绍了面向应用领域的XML数据更新、脚本语言等多种功能的扩展方法。本书适用于从事计算机科学与技术领域相关研究或开发工作的专业技术人员参考，也可以作为高等院校计算机软件与理论等相关专业研究生和本科生的教学用书。

《挑战程序设计竞赛（第2版）》对程序设计竞赛中的基础算法和经典问题进行了汇总，分为准备篇、初级篇、中级篇与高级篇4章。作者结合自己丰富的参赛经验，对严格筛选的110 多道各类试题进行了由浅入深、由易及难的细致讲解，并介绍了许多实用技巧。每章后附有习题，供读者练习，巩固所学。

张刚、张博、常青编著的《SoC系统设计》主要介绍在SoC的EDA平台上进行系统设计的方法，全书共9章，第1章为绪论；第2章为SoC系统设计概述，内容包括SoC基本概念、SOC研究内容、分类及设计流程、IP核复用技术、SoC设计工具等；第3章介绍现场可编程门阵列FPGA器件结构、配置及XilinxFPGA 产品；第4章讨论VHDL硬件描述语言使用方法，包括VHDL语法要素、顺序描述语句及并行描述语句；第5章介绍常用组合逻辑电路和时序逻辑电路的VHDL设计；第6章介绍ISE工具软件使用开发流程；第7章介绍ISE软件中IP核应用技术，包括DCM、RAM、ROM、FIFO等IP的生成方法；第8章叙述Chipscope片内逻辑分析仪使用方法；第9章介绍EDK开发流程及基于MicroBlaze处理器的SoPC系统设计方法。《SoC系统设计》内容全面系统，以培养读者实际应用开发为目标，实用性强，所配实例全部通过调试和验证，可直接用在读者的系统设计中。本书可作为高等院校电子、通信、计算机、自动化等相关专业的本科生和研究生教材，也可作为SoC开发人员的设计参考书。

《国家职业资格培训教程：可编程序控制系统设计师（国家职业资格4级）·欧姆龙分册》由中国就业培训技术指导中心按照标准、教材、题库相衔接的原则组织编写，是国家职业技能鉴定推荐辅导用书。书中内容根据《国家职业标准·可编程序控制系统设计师》（试行）要求编写，是各级别可编程序控制系统设计师职业技能鉴定国家题库命题的直接依据。《国家职业资格培训教程：可编程序控制系统设计师（国家职业资格4级）·欧姆龙分册》介绍了四级可编程序控制系统（欧姆龙）设计师应掌握的能力要求和相关知识，涉及系统设计、硬件配置、程序设计、系统调试、运行管理等内容。

《图谱理论与复杂网络相关算法》通过对图的邻接矩阵、laplacian矩阵、signlesslaplacian矩阵及关联矩阵性质的研究，证明了一些图类的谱确定性，发现并证明了几类不能由谱确定的同谱图类，拓宽了谱确定图类的范围；对复杂网络的社团结构提取算法进行了研究。全书共分6章，第1章给出了相关概念及符号表示，列举了已有的谱确定图类及图谱理论在计算机科学中的应用；第2章归类了图的谱性质，给出了后面证明中要用到的基本引理；第3章证明了似双星树的谱确定性；第4章证明了几类单圈图的谱确定性；第5章证明了几类双圈图的谱确定性；第6章研究了复杂网络社团发现算法。《图谱理论与复杂网络相关算法》是一本专著，也可以作为高等学校计算机、数学及其他相关专业研究生和本科高年级图论及相关算法的教材，还可以供从事图谱理论方面的科技工作者参考。

C++标准模板库（STL）是革命性的，但是要想学会并用好却并不容易。Scott Meyers（Effective C++与More effective c++的作者）揭示了专家 总结的一些关键规则，既有专家们总是采用的做法，也有专家们总是避免的做法。通过这些规则，STL程序员可以最大限度地使用STL。在讲述50条指导原则时， 本书提供了透彻的分析和深刻的实例，以让读者学到要做什么，什么时候该这样做，以及为什么要这样做。

《ActionScript 3.0游戏设计基础（第2版）》涵盖了Flash 游戏设计中的所有基础主题，包括游戏图形的制作、AS3.0 语法基础、事件机制、碰撞检测、物理模拟、滚屏系统、AI（人工智能）基础，以及嵌入游戏音效。对于每一章的内容，在《ActionScript 3.0游戏设计基础（第2版）》的随书源代码中都提供了完整的代码和可运行的示例。读者可以跟随作者的思路，从最简单的游戏开始循序渐进地向前推进，最终构建出比较大型的Flash 游戏。由于《ActionScript 3.0游戏设计基础（第2版）》的原作者本身就是一位高校的老师，因此，本书的内容由浅入深，知识丰富，非常适合读者自学或者作为高等学校的教材使用。

《一个程序员的奋斗史》是一本程序员写给程序员的小说。《一个程序员的奋斗史》描写了一位刚从大学毕业，对社会懵懵懂懂的菜鸟程序员段伏枥，通过自身的努力，一步一步前行，最后成为技术高手，并荣获微软最有价值专家的故事。书中不仅有初涉社会时的无奈，也有苦中作乐的愉悦，更有同事间的勾心斗角，是当今IT 职场的一个缩影。这是一个程序员的奋斗，也是无数程序员的缩影。同时，这也是一部IT 公司潜规则与科技江湖厚黑学的实录。