本书以西门子公司的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的工程应用案例。本书遵循教学规律，内容阐述循序渐进，深入本质、切中要害，结构合理、严谨，概念准确，易读易懂。本书可作为高职、高专、本科、研究生及各种自动化专业的课程教材、毕业设计教材，也可供相关工程技术人员、电气注册工程师参考。

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

大多数Rails书籍会迎合那些从数据结构中寻找信息的程序员，而《Rails学习手册》的目标读者是完全面向Web的开发者。《Rails学习手册》的特别之处在于它从外至内（而不是从内至外的从模型和控制器开始）讲解Rails开发，先从应用程序的界面开始。在接触复杂的数据库模型和控制器代码之前，你会学到如何用Rails创建可视的界面。通过《Rails学习手册》，你能够从已知的Web设计基础知识入手，再逐渐深入理解Ruby、对象和数据库结构。《Rails学习手册》会帮助你：·通过创建只有一个基础视图和简单控制器的应用程序来呈现Web内容，在此过程中学习Ruby。·由简入难，创建表单并处理它们的结果。·通过设置数据库把表单与模型连接起来，再用Rails的ActiveRecord创建映射数据库结构的代码。·通过Rails脚手架创建以视图为中心的应用程序。·添加常见的Web应用程序元素，例如会话（session）、cookies以及认证（authentication）。·创建组合多表数据的应用程序。·通过Rails和AJax创建一个简单但拥有动态特性的界面。一旦你读完《Rails学习手册》，你便会习惯于RailsWeb框架，从此踏上了通往Rails大师之路。

详细介绍了UML语言的基础知识，以及UML在面向对象的软件系统分析和设计中的应用，并通过丰富的实例讲解了面向对象的分析与设计过程，启发读者如何用UML语言将所学到的面向对象技术应用于软件系统的分析、设计与开发中。《UML与Rational Rose 2003从入门到精通》从理论的高度阐述了面向对象分析和设计的思想，使读者能够真正地掌握系统架构设计的精髓。《UML与Rational Rose 2003从入门到精通》将理论与实例结合，内容繁简得当，由浅入深，使读者能十分容易入门并逐步精通。《UML与Rational Rose 2003从入门到精通》可供正在学习编程、软件工程等知识，准备将来从事IT行业的读者、正努力向设计师或系统分析员发展的技术人员及期望对软件分析设计的运用更上一层楼的设计人员学习和提高之用，也可以作为计算机相关专业软件工程等课程的教材。

ActionScript 3.0是目前最流行的RIA应用开发语言。本手册由浅入深、循序渐进地介绍了使用AcfionScript 3.0开发RIA应用的方法与技巧。本手册由4篇共23章组成。包括AcfionScript的基础语法篇、应用篇、开发篇和实例篇。详细介绍了ActionScript 3.0语法、面向对象基础、错误处理、编码规范、数学计算、字符处理、数组、日期与时间、XML处理、多媒体处理、可视化类、动画、文件操作、系统操作与打印、简单数据传输、本地数据存储与通信、远程数据调用、与宿主语言通信、网络编程和安全等内容。为了便于读者学习，本手册最后两章给出了一个纯粹的ActionScript 3.0实例和一个基于Flex应用的ActionScript 3.0实例。本手册适合ActionScript 3.0的初学人员、RIA应用的开发者，尤其是有一定Intemet／Intranet编程技术的人员。本光盘内容为实例源代码、语音视频教学及电子教案（PPT）。本光盘及配套手册由北京希望电子出版社独家发行，未经出版者书面许可，任何单位和个人不得擅自摘抄、复制光盘和本手册的部分或全部内容，并以任何方式进行传播。

《GDI+高级编程》立足GDI+的巧妙运用，以制造实用的用户界面为目标来介绍GDI+图形库的各个部分和功能。《GDI+高级编程》共分为7章，每一章介绍了特定主题内容。全书主要内容包括GDI+的概念，以及层次结构，GDI+的一般基础性能应用——Windows基础控制的制作，包括带有视觉样式和没有视觉样式的基础控件；高级自定义创意控件的一般流程和方法；GDI+对字体和文字的支持；GDI+在处理动画上的应用；分形和分形艺术的概念，以及分形在现实生活中的应用；数字图像处理的相关技术。《GDI+高级编程》采用C#语言描述，面向对.NET框架有一定认识并有一定编程经验的中高级读书。《GDI+高级编程》也可以作为对GDI+和C#感兴趣的在校师生的参考读物。

本书是“PLC运动控制技术培训应用教程”系列丛书之一，主要内容包括：运动控制技术、PLC采用位控模块的运动控制、PLC运动控制技术基础及其在材料分拣系统中的应用、四轴联动机械手运动控制系统、六层电梯模型运动控制系统、立体仓库模型位置控制系统。本书的工程性与实践性较强，简明实用，对PLC用户具有较大的参考价值。本书学练一体，可作为职业院校学生学习PLC运动控制技术的实训教材，也可供从事自动化系统设计开发的工程技术人员进行设计和应用时参考。

《西门子S7-200 PLC 从入门到实践》采用项目导入、任务驱动的方式进行编写，全书共分12个项目，包括增氧泵控制、自动分装控制、纸卷输送控制、报警灯控制、复卷机的计长控制、永磁吸盘的控制、水位显示、恒液位控制、泵站监控系统、机械手自动分拣装置、封口包装机装置及恒压供水控制装置，对于每一个项目，从项目背景及要求、知识链接、编程技能到最后的解决思路一一展开，阐述详细，并充分考虑了PLC设计中的常见问题。《西门子S7-200 PLC 从入门到实践》具有新颖性、技术性、实用性和可操作性，既可作为高职高专电气自动化、机电一体化等专业实践教材和指导手册，同时也可作为广大自动化工程人员的设计指南。

《可编程序控制器技术及应用（三菱）》本着以工程技术应用为主的宗旨，系统地介绍了三菱FX2N系列可编程序控制器的工作原理、编程元件、指令系统及其在工业中的应用等。全书主要内容包括可编程序控制器概述、三菱FX2N系列PLC的编程语言及编程软元件、三菱FX2N系列PLC的基本指令系统、顺序功能图与步进梯形图编程、功能指令及应用、PLC的特殊功能模块、PLC的通信与网络、PLC在工业中的应用、GX Developer编程软件的用法及附录。每个部分均引入了大量工程应用实例，并且实例程序都配有注释，便于读者学习。《可编程序控制器技术及应用（三菱）》内容层次清楚，实例丰富，实用性强，具有较高的使用和参考价值，可作为高职高专院校机电一体化技术、电气自动化技术等机电类相关专业的教材，也可供广大电气技术人员作为参考书和培训教材使用。

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