本书采用软件接收机的观点，详细介绍了GPS接收机原理，涉及软件无线电和GPS两个热门领域。GPS接收机包括直接序列扩频信号接收技术和导航处理两个学科内容，涉及卫星星座及GPS信号的影响、信号捕获跟踪、导航电文解扩接收、伪距测量、定位和导航计算处理等内容。本书第2版增加了3章新的内容，主要涉及微弱信号和强干扰环境下，GPS接收机的处理方法。本书还附列了许多用Matlab编写的计算机程序，帮助阐明某些思想，一些可直接用于接收机的设计。
要实现高质量、高稳定性的面对对象软件系统，有效的测试技术是必不可少的。本书深入讲述了如何用状态机、组合逻辑和UML开发可测试的模型。 通过对多种模式的介绍，可以让读者掌握如何设计测试套件、如何针对OO代码修改测试方法、如何测试可重用组件及框架，以及如何根据用况开发高效的测试套件。书中还提供了许多实际测试经验和面向对象测试领域的研究成果。 与面向对象系统稳定有关的开发及测试人员，皆可阅读此书。
本书从PLC基础入门和工程实践出发，涵盖内容包括电气控制基础、S7-1500 PLC编程技术及项目应用实践。电气控制部分包括常用低压电器的工作原理及选型、电气控制电路的分析与设计等；PLC编程技术以西门子S7-1500 PLC为主线，详细介绍了S7-1500 PLC的硬件结构和指令体系，同时还介绍了西门子人机界面的相关设计方法，重点讲解了西门子TIA博途软件的使用，并将S7-1500 PLC系统的知识体系贯穿于PLC项目应用实践中。 本书可作为高等院校自动化、电气工程及其自动化、机器人工程、计算机科学与技术、机械设计制造及其自动化等相关专业的教材，也可作为工程技术人员培训及自学参考使用。
本书是从事软件行业五十余年的Gerald M. Weinberg针对软件测试所写的新作。他在软件项目的管理、设计、开发和测试方面都具有极其丰富的经验，对于与软件开发有关人员的心理尤其有深入的研究。在本书中，他重点讨论了与软件测试有关的各种心理问题及其表现与应对方法。作者先阐述软件测试之所以如此困难的原因——人的思维不是完美的，而软件测试的目的就是发现对改善软件产品和软件开发过程有益的信息，故软件测试是一个信息获取的过程。接着，作者利用丰富的经历和大量的实例，展现了在软件测试中可能会出现的各种与人的心理有关的现象、误区、欺诈，以及容易犯下的常见错误等等。
本书深入介绍了macOS系统的软件安全、逆向分析与加密解密技术，主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术以及系统安全与反病毒。 本书适合所有macOS平台软件开发工程师、信息安全专业学生、信息安全专业从业人员阅读学习。
![基于模型的测试：一个软件工艺师的方法 [美]保罗·C.乔根森（PaulC.Jorgensen）,王轶辰,王 机械工业出版](http://img3m0.ddimg.cn/36/3/11638238670-1_l.jpg)
本书是的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第壹部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。
本书主要介绍了软件质量及可靠性的基本概念、软件的可靠性设计、软件测试、软件可靠性预计模型、软件与硬-软件复合系统结构模型、软件系统安全性分析、程序的复杂性与可靠性分配、软件维护、软件的质量保证等。 本书不仅力求反映本学科国际上的新动态，同时也介绍了我国专家近年的一部分有实用价值的研究成果。 本书适合IT产业的高层管理人员、科技人员、质量及可靠性工程技术人员阅读，可作为高等院校相关专业的研究生、本科生的教材。
本书分为四个部分，每部分内容都由一个研究案例引出。部分介绍了如何保证系统的生存，即维护系统正常运行。第二部分介绍了如何衡量系统的容量，以及如何随时间来优化系统的容量。在第三部分讲述了架构师在为数据中心构建软件时应该思考的一般设计问题。第四部分讨论了系统的运行寿命，将其作为整个信息生态环境的一部分。书中代码采用的Java语言，熟悉编程的人都能轻易阅读。作者从Java和Unix的视角看问题，因而本书的焦点比较中立，着眼于跨所有平台的技术和概念。在每种模式和反模式的末尾，都有一段简短精要的总结。 本书适合面向企业级软件的架构师、设计师和开发人员阅读参考。
《Netty 权威指南（第2 版）》是异步非阻塞通信领域的经典之作，基于近期新版本的Netty 5.0 编写，是国内首本深入介绍Netty 原理和架构的书籍，也是作者多年实战经验的总结和浓缩。内容不仅包含Java NIO入门知识、Netty 的基础功能开发指导、编解码框架定制等，还包括私有协议栈定制和开发、Netty 核心类库源码分析，以及Netty 的架构剖析。
本书由看板方法创始人David J. Anderson亲自编写，是看板方法的奠基之作。看板方法脱胎于丰田生产方式和约束理论，是精益方法的进一步延伸。它将软件开发过程视为一种价值流，并且相信拉动式的管理能产生更好的结果。它通过在制品的数量等一系列简单可行的技巧，发现和缓解软件开发过程中的压力和瓶颈，提高生产效率。看板方法的奇妙之处，在于它与企业原有的开发流程无缝结合，在不知不觉中提高生产效率。换句话说，它是一种渐进式的改良，不是翻天覆地的革命，因而更容易被企业接受。实施阻力小且切实有效是看板方法在软件开发社区中迅速流行起来的原因。
