程序员、项目经理和架构师终极修炼必读！ 图灵奖得主、软件工程之父、《人月神话》作者 Frederick Brooks 经典著作，揭秘软件设计本质！ 如果说《人月神话》结束了软件工业的神话时代，粉碎了“银弹”的幻想，从此人类进入了理性统治一切的工程时代，那么《设计原本》则再次唤醒了人类心中沉睡多年的激情，引导整个业界突破理性主义的无形牢笼，鼓励以充满大胆创新为本的设计作为软件工程核心动力的全新思维。可以说，不读《人月神话》，则会在幻想中迷失；而不读《设计原本》，则必将在复杂低效的流程中落伍！《设计原本》开启了软件工程全新的“后理性时代”，完成了从破到立的圆满循环，具有划时代的重大里程碑意义，是每位从事软件行业的架构师、项目经理和研发人员都应该反复研读的经典著作。

自动机理论、语言和计算导论（原书第3版），ISBN：9787111240358，作者：（美）霍普克罗夫特（Hopcroft，J.E） 等著；孙家骕 等译

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的，陸质、图灵机、不可判定性以及难解问题等内容。 本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

本书被全世界89个国家的900多所大学用作教材。 本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向。全书分为8大部分：第一部分“人工智能”，第二部分“问题求解”，第三部分“知识与推理”，第四部分“规划”，第五部分“不确定知识与推理”，第六部分“学习”，第七部分“通信、感知与行动”，第八部分“结论”。本书既详细介绍了人工智能的基本概念、思想和算法，还描述了其各个研究方向最前沿的进展，同时收集整理了详实的历史文献与事件。另外，本书的配套网址 本书适合于不同层次和领域的研究人员及学生，是高等院校本科生和研究生人工智能课的首选教材，也是相关领域的科研与工程技术人员的重要参考书。

本书全面、深入地探讨了编译器设计方面的重要主题，包括词法分析、语法分析、语法制导定义和语法制导翻译、运行时刻环境、目标代码生成、代码优化技术、并行性检测以及过程间分析技术，并在相关章节中给出大量的实例。与上一版相比，本书进行了全面的修订，涵盖了编译器开发方面的最新进展。每章中都提供了大量的系统及参考文献。 本书是编译原理课程方面的经典教材，内容丰富，适合作为高等院校计算机及相关专业本科生及研究生的编译原理课程的教材，也是广大技术人员的极佳参考读物。