如果您曾经问过自己“专家们如何设计移动设备软件？”那么手头的这《Symbian OS通用设计模式》就是为您准备的。《Symbian OS通用设计模式》汇集了Symbian 公司一些最杰出的软件工程师的智慧和经验，并将这些专家的知识提炼成一组通用的设计模式，在设计Symbian 智能手机软件时您可以合理地使用这些设计模式。《Symbian OS通用设计模式》旨在帮助您解决在智能手机平台软件开发中经常遇到的各种难题。了解潜在问题，同时掌握用来解决这些问题的模式，您就能够在设计和实现健壮高效的Symbian OS 应用和服务程序方面具有抢先起步的优势。《Symbian OS通用设计模式》涵盖的所有模式都针对Symbian OS进行了专门的适配。书中的11个完整示例详细说明了每种模式的工作原理，它们都采用SymbianC++语言实现，以便于您改写这些示例，将其用于自己编写的软件中。

本书以西门子公司的S7-300/400系列可编程序控制器（PLC）为主要叙述对象（另一本叙述S7-200系列），详细介绍了PLC的原理及应用、控制系统设计。主要内容为PLC的基础知识与工作原理，S7-300/400系列PLC控制系统硬件特性、其他组成部分，S7-300/400系列PLC的各种编程指令，应用控制系统设计的一般规则、主要内容与STEP7编程软件，以及S7-300/400系列PLC通信网络等。各章当中穿插了丰富的编程实例，最后一章还提供了26个S7-300/400系列PLC的工程应用案例。本书遵循教学规律，内容阐述循序渐进，深入本质、切中要害，结构合理、严谨，概念准确，易读易懂。本书可作为高职、高专、本科、研究生及各种自动化专业的课程教材、毕业设计教材，也可供相关工程技术人员、电气注册工程师参考。

《PLC控制系统设计与调试》从PLC控制系统设计与调试职业岗位的任职要求出发，以4个工程应用项目为载体，介绍了PLC控制系统总体控制方案设计、PLC机型和低压电器设备选型、PLC接口电路和控制柜设计、控制程序设计与系统联机调试、随机技术文件编写等内容。《PLC控制系统设计与调试》以S7-200系列PLC为例，由浅入深、循序渐进地介绍了PLC应用的相关知识和操作训练内容。《PLC控制系统设计与调试》力求对S7-200系列PLC应用知识和PLC控制系统开发过程做到全面的介绍，并将理论知识与操作训练相结合，使学生全面掌握PLC控制系统的设计与调试技术，达到举一反三的目的。《PLC控制系统设计与调试》可作为高职高专院校应用电子、电气自动化、机电一体化专业的教材，也可作为相关专业师生和工程技术人员的参考用书。

《反编译技术与软件逆向分析》共分10章。第1章到第3章简要介绍了软件逆向分析技术的相关基础知识；第4章和第5章从反汇编和中间表示两个方面为反编译奠定基础；第6章到第9章针对反编译的若干关键技术展开详细介绍；第10章则为反编译测试相关的一些可用资源。全书以IA-64可执行代码为例进行讲解，但相关技术可以向其他平台推广。《反编译技术与软件逆向分析》可作为计算机软件专业本科高年级学生、硕士研究生的相关课程教科书或教学参考书，也可供从事软件逆向分析工作的工程技术人员参考。

《Python高级编程》通过大量的实例，介绍了Python语言的最佳实践和敏捷开发方法，并涉及整个软件生命周期的高级主题，诸如持续集成、版本控制系统、包的发行和分发、开发模式、文档编写等。《Python高级编程》首先介绍如何设置最优的开发环境，然后以Python敏捷开发方法为线索，阐述如何将已被验证的面向对象原则应用到设计中。这些内容为开发人员和项目管理人员提供了整个软件工程中的许多高级概念以及专家级的建议，其中有些内容的意义甚至超出了Python语言本身。《Python高级编程》针对具备一定Python基础并希望通过在项目中应用最佳实践和新的开发技术来提升自己的Python开发人员。

本书系统介绍了算法的理论基础及应用实例。全书分为两篇，第一篇用5章介绍算法和数据结构的基础知识，包括基础算法思想、简单数据结构、复杂数据结构、排序和查找算法等内容；第二篇用4章介绍用数据结构解决实际问题的相关程序，包括解决数学问题、数据结构问题、算法经典问题等内容，最后一章介绍信息学奥赛部分试题的程序。本书实例丰富、实用性强、结构清晰、讲解详尽。可作为大中专院校学生学习数据结构时做课程设计的参考书，还可作为参加信息学奥赛选手的参考书。

《Windows汇编语言程序设计教程》是初学者的入门教材，书中详细讲解了汇编语言的基础知识，并给出各种类型的程序例。为使读者掌握指令的使用方法，对指令进行了归纳，为指令配有实例。为使读者学会修改用反汇编工具IDA反汇编出的程序，并将反汇编程序再编译链接成可执行文件，书中在这方面用了比较多的篇幅。书中内容以微软知识库为背景，使读者学完后，可用微软知识库中的库函数编程。

本书以西门子公司的S7—200系列可编程序控制器为主要叙述对象，介绍了可编程序控制器的原理及其应用控制系统设计。主要内容为可编程序控制器的基础知识与工作原理，S7—200系列PLC控制系统硬件的详细特性、其他组成部分，S7—200系列PLC编程软元件及各种指令详解，应用控制系统设计的一般规则、主要内容与常用方法、编程软件STEP7-Micr0／WIN，S7—200系列PLC通信网络等。各章中穿插了丰富的编程实例，第6章还提供了16个S7—200系列PLC的工程应用案例。本书遵循教育规律，内容阐述循序渐进，深入本质，切中要害，结构合理严谨，概念准确，易读易懂。本书可作为高职、高专、本科、研究生各种自动化专业的课程教材、毕业设计教材，也可作为相关工程技术人员、电气工程师的参考用书。

汇编语言与程序设计是计算机类学科专业的重要的专业技术基础课程，是以应用为主的工程技术基础类课程。作者以简单易懂、分步介绍的方式，讲授了x86 PC汇编语言程序设计及PC体系结构。全书包括两大部分内容：（1）汇编语言程序设计；（2）IBM PC兼容计算机接口设计。在介绍汇编语言程序的章节中，以汇编方法为引导，逐步加入各种语句及指令，给出了很多程序实例，并通过Debug实用工具展示出程序指令执行的具体动作。在接口设计方面，从PC机所应用的芯片到设备，从电路设计到编程都进行了详细的阐述。本书内容系统，示例丰富，可作为高校计算机专业学生的教材，也是x86嵌入式设计人员的理想参考书。

Coq是一个用于验证定理的证明是否正确的计算机工具。—在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建了立完整的理论，学习复杂的算法。本书的主要目：标是从实践的角度来理解Coq系统及其基本理论。即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。从本书配套网站WWW.labri．fr／Perso／～casteran／CoqArl可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。这本书是一本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。