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

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

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

面向对象方法在软件项目开发中的主要应用技术，但是不包括面向对象的程序设计语言，如Java、C++、C#等。《面向对象方法工程实训教材》的主要内容有：面向对象分析与设计，其中重点介绍采用统一建模语言UML建立软件项目的静态模型和动态模型；面向对象编程的开发工具；面向对象软件测试等。《面向对象方法工程实训教材》适合作为高校软件工程及相关专业面向对象方法课程的工程实训教科书，也可为试图了解和掌握面向对象方法的学生提供参考。

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

电气控制与PLC课程是机电类、自动化类高职工科专业开设的实践性强，与生产实践联系密切，强弱电结合，集机械、液压、电气于一体的技术应用型课程。《电气控制与PLC》以模块式结构编排，共六个模块，包括常用低压电器、控制线路基本环节、典型机床电气控制、PLC指令系统、PLC控制系统的设计与应用和电气控制技术的拓展。每个模块设有理论基础、课堂演示、基本技能训练和综合项目实训等实践教学环节。模块内容以“渐进式”方式设置，大部分模块都设有类似于实际项目的综合实训项目，通过实际项目的分析、研究、设计、操作，促使学生切实掌握电气控制与PLC的基础知识及基本应用，在专业技能上达到对电气线路会分析、会安装施工、会维修管理、会一般设计的“四会”能力要求。在讲授可编程控制器时，《电气控制与PLC》以三菱公司Fx系列PLC为主要对象，对其常用指令和基本应用作了详细的介绍，在拓展模块中介绍了S7-200系列PLC的指令及应用。《电气控制与PLC》可作为高职高专、高级技校、技师学院等的机电类、自动化类、电子类专业相关课程教材，也可供专业技术人员参考。

本书主要介绍了台达DVP-PLC WPLSoft软件的编程设计范例，内容简洁实用、圈文并茂。全书共分16章，分别为基本程序设计范例，计数器设计范例，定时器设计范例，变址寄存器E、F设计范例，应用指令程序流程设计范例，应用指令传送比较控制设计范例，应用指令四则运算设计范例，应用指令旋转位移设计范例，应用指令数据处理设计范例，应用指令高速输入输出设计范例，应用指令浮点数运算设计范例，应用指令通信设计范例，应用指令万年历时间设计范例，应用指令简单定位设计范例，便利指令设计范例和网络连线设计范例。本书即可作为PLC程序设计师的实用编程学习用书，也可作为业界相关人员的实用参考书。

本书结合了当前工程计算领域里两个最重要的计算工具MATLAB和Excel，它们是工程专业学生为解决未来工作中遇到的实际工程问题而必须掌握的计算工具。本书不仅介绍了这两个计算工具的用法，而且由于这些计算工具不断变化，因此本书把重点放在工程计算的基本原理上，即算法设计、计算工具的选择、解决过程的文档说明、计算结果的验证和说明。本书首先介绍工程计算的基本原理和算法的设计思想，然后介绍了Excel和MATLAB的基本用法，最后以方程求根、矩阵计算、数值积分和最优化等实例，说明工程计算的原理和思想。全书每章后面都有大量的习题，这些习题都源自工程中存在的实际问题，而非传统的数学或计算机问题。本书特色◆ 首次把MATLAB和Excel两大计算工具结合在一起◆ 采用了教程模式，方便学生学习◆ 以工程实例介绍工程计算的基本原理和算法思想◆ 每章后面的习题都与工程的实际问题有关◆ 介绍了在实际工程如何选择最合适的计算工具◆ 图文结合，通俗易懂

《MATLAB实用教程（第2版）》分三个部分介绍了MATLAB原理及其应用，共有13章。《MATLAB实用教程（第2版）》的第一部分重点介绍MATLAB的基本原理、基本函数和图形化功能；第二部分介绍MATLAB编程方法、函数工具箱的使用方法和数据输入/输出方法；第三部分介绍方程组求解、符号数学包应用、曲线拟合以及数据可视化方法。《MATLAB实用教程（第2版）》在内容组织上深入浅出，力求通俗易懂，注重工程实用。书中提供的大量实例来自非常普通、非常基础的学科领域，内容丰富，叙述简明，同时还配有插图，给读者以轻松明快的感觉。每章结束附有习题，供练习巩固之用。《MATLAB实用教程（第2版）》的最大特点是不要求读者掌握高深的数学知识和计算机理论，就可以轻松简单地学会MATLAB原理，并能在实际工程中予以应用。因此，《MATLAB实用教程（第2版）》适用于任何工科专业的低年级大学生，既可以作为理想的教学用书，也可以作为自学参考书。

《MATLAB应用与实验教程》以MATLAB 7.5版为蓝本，重点讲述了MATLAB的功能以及其在电子电气信息类及相关专业领域中的应用。全书共分9章，主要内容包括：MATLAB的系统环境和使用，MATLAB有关的基本运算，MATLAB的绘图功能，Simulink仿真工具箱，控制系统工具箱，数字信号处理工具箱，通信工具箱，以及SimPowerSystem工具箱。每章后面都配有实验指导，紧扣教学内容，使读者能够通过上机操作及时有效地掌握该章的主要内容。《MATLAB应用与实验教程》配有电子教案、例题源程序等丰富的教学资源，以能帮助读者快速掌握并应用MATLAB。《MATLAB应用与实验教程》可作为普通高等院校理工科专业本科生“MATLAB应用”课程的教材，也可供广大科技工作者阅读使用。