《时间序列InSAR技术与应用》结合作者多年来从事InSAR研究的成果和实际经验，兼顾基本原理、前沿发展和实际应用案例等方面给出较为全面的介绍。首先阐述《时间序列InSAR技术与应用》的学科背景，并对InSAR技术的发展、现状和存在的主要问题进行系统的评述和分析；然后在介绍SAR传感器基本知识和SAR影像主要特点的基础上，系统地论述InSAR的基本原理、数据处理关键技术和干涉相位特性等，帮助读者较为完整地理解常规InSAR的基础理论和方法，掌握相关的数据处理技术；针对时间与空间去相关及大气效应问题，《时间序列InSAR技术与应用》进一步论述了时间序列InSAR分析的基本原理及典型方法，并根据实际应用需求，将长时间序列相干点目标模型扩展至短时间序列准相干目标模型，同时给出相应的解算方法；最后在DEM更新、城市地表沉降检测、滑坡监测和人工地物

本书从一个软件产品线工程框架出发，阐述了与特定领域软件产品开发有关的领域工程和应用工程过程，介绍了过程中产生的各种工件、产品线可变性及其管理，以及两个工程过程之间通过不变与可变性所建立的联系。书中还包括与软件产品线有关的组织、管理及如何向软件产品线转变等内容。书中强调了软件产品线工程的基本原理、实践特点以及与单一系统开发的区别。尤其难得的是，为方便读者理解，书中在各章中使用了同一个产品来讲述具体的实例。 本书的作者为业内资深专家。全书结构严谨、条理清晰、图文并茂，是介绍软件产品线的著作。本书的读者为软件开发人员、测试人员、软件产品线研究者与大专院校师生。

《Haskell函数式编程基础（第3版）》是一本非常的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易读易学。全书循序渐进，从基本的函数式程序设计直至高级专题，让读者对Haskell的学习不断深入。《Haskell函数式编程基础（第3版）》可作为计算机科学和其他相关学科的高年级本科生、研究生的，也可供对函数式程序设计感兴趣的程序员、软件工程师等参考学习。

SAPHANA是一款革命性的产品，开创了大数据内存计算的先河。本书详细讲述SAPHANA平台的各种技术以及在SAPHANA平台上的软件开发过程。主要内容包括：SAPHANA的各个特性；SAPHANAStudio；属性视图；分析视图；图形化计算视图；用SQLScript创建计算视图；SAPHANA系统的授权机制；SAPHANA的层级；如何将SAPHANA数据模型部署到3个不同的工具中；如何使用SAP业务数据服务将数据导入SAPHANA实例中；如何使用SAPHANA内置的应用服务器（XS引擎）来创建网络应用程序。本书面向的是任何想要开始使用SAPHANA创建报表软件、企业内联网或互联网应用的人。

谈论软件质量的方法有很多，感兴趣的听众也有很多。本书是为软件测试人员而写的，写的是一种我认为比其他任何缺陷都重要的特殊缺陷：即逃过所有各种检测手段而最终存在于发布产品中的缺陷。 任何一个软件公司发布的产品都有缺陷。缺陷是怎么引入的？为什么没有在代码审核、单元测试、静态分析或其他面向开发人员的活动中把它们找出来？为什么自动化测试没有找出它们？那些缺陷有些什么特质使其能逃过手工测试？ 什么是找出产品缺陷的更好方法？ 本书针对的正是最后一个问题。在第2章“手工测试”中，我提出了一个观点：因为用户是在使用软件过程中找到这些缺陷的，所以我们的测试人员也应该通过使用软件来找到它们。无论使用自动化测试和单元测试，还是其他一些手段，都难以接触到这些缺陷。无论测试人员怎么实现自

你是否早已对市面上那些只有在成为专家以后读起来才有感觉的OOA&D书籍感到厌倦？你可能早就听说过OOA&D书籍能帮助你写出伟大的软件——让老板高兴、客户满意的软件。 但如何办到呢？ 《深入浅出面向对象分析与设计》将告诉你如何分析、设计以及撰写真正面向对象的软件：容易重用、好维护、可扩展的软件；不再使你心碎的软件；让你增添新功能而不会破坏旧机制的软件。在本书中，你将学到：使用诸如封装(encapsulation)与委派(delegation)之类的OO原则建立灵活的应用程序；使用开闭原则(Open-ClosedPrinciple)与单一职责原则(Single-ResponsibilitvPrinciple)提升程序的重用性；学习如何将OO原则、设计模式及各种开发方法通通整合到OOA&D项目的生命周期里；运用UML、用例及用例图来确保所有利害关系人都能清楚地进行沟通，协助你交付正确的软件，达到每个人的

《21世纪高等学校规划教材·软件工程：软件质量管理》以软件质量为中心，从软件质量管理体系、软件质量保证、软件配置管理等方面全面介绍软件质量管理。全书共分为10章，内容分别为质量与质量管理、质量管理体系：项目质量管理、软件质量、软件质量保证、软件配置管理、软件质量度量、软件标准、软件评审、软件全面质量管理。 《21世纪高等学校规划教材·软件工程：软件质量管理》内容循序渐进，图文并茂，读者可在较短的时间内以最快的速度理解和掌握软件质量管理的基本概念和操作方法，每章末尾附有练习以供读者熟悉和巩固所学知识，作者将长期实践的经验融入其内，相信必会使读者受益匪浅。 《21世纪高等学校规划教材·软件工程：软件质量管理》内容翔实、条理清晰、实用性强，既可作为大专院校相关专业以及各类培训班的教

本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。 本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。

《项目管理艺术》内容涵盖了项目管理的各个方面：保证项目按时按质交付的有效方法，如何激励项目成员全力以赴地工作，如何成为一名有影响力的领导者等等。通过阅读本书，您可以从一位经验丰富、从事多年软件及网络开发项目的经理那里学习怎样计划、管理和领导项目。书中那些富有成效的建议是作者自己十余年业界生涯的经验总结，同时也是作者对于项目管理中那些复杂概念的切身理解，以及在实际工作中如何应对各种挑战的思考结晶。全书发人深省，生动有趣，坦诚直率。

这是本论述软件产品线的专著。它以软件产品线为主题，从基础知识、实践域过渡到应用，展现了产品线的实施路线图。全书的重点在第二部分和第三部分。第二部分共3章，分别阐述了软件工程实践域、技术管理实践域和组织管理实践域所涉及的29个实践域。第三部分共6章，不仅为产品线的实施提供了14个模式（加上变体共22个），还讲解了如何从技术角度判断组织是否适合采用产品线，同时还有3个案例分析，验证了产品线可以成功应用于各种规模的组织。

《格蠹汇编：软件调试案例集锦》以案例形式讨论了使用调试技术解决复杂软件问题的工具和方法。全书共36章，分为四篇。前两篇每章讲述一个有代表性的真实案例。第三篇讨论了调试工具和调试系统的设计方法。第四篇收录了使用调试器探索计算机世界的若干学习笔记，包括在调试器中细品CPU，通过调试器观察和解码堆块结构，透视Windows8的新类型应用以及使用调试器监视启动、睡眠和唤醒三大基本过程等。

本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。 本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。