可编程序控制器应用（S7-200） 【工业技术】

本书是按照高职高专机电一体化技术及相关专业培养目标的要求，以工作过程为导向，以西门子S7-200 PLC为对象，以S7-200 PLC的应用技术为重点而编写的。本书主要介绍了PLC的基础知识，包括：PLC的特点、应用以及PLC组...

PHP应用程序安全编程 【工业技术】

本书帮助读者掌握编写可靠PHP代码，提高正在使用的PHP软件安全所需的技术、技巧以及最佳实践。本书作者拥有超过15年在Web开发、安全以及培训方面的经验，介绍如何找到PHP代码的安全漏洞，同时给出PHP开发人员最...

程序设计语言理论 第2版 【工业技术】

本书以类型系统为中心来开展程序设计语言的研究，除了由浅入深地介绍各种类型系统外，还讨论相应程序设计语言的操作语义、公理语言和指称语义，以及这些语义之间的关系，是一本覆盖面较广的有关程序设计语言理论基...

西门子S7可编程序控制器 STEP7编程指南 【工业技术】

本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

X3D动画游戏设计 虚拟人、全景技术、影视媒体、游戏动画设计源程序 【工业技术】

本书利用软件工程思想开发与设计X3D虚拟现实程序，运用计算机前沿科技虚拟现实建模语言（X3D）开发软件工程项目，通过大量生动、鲜活的源程序开发实例介绍了X3D虚拟现实三维立体场景和复杂场景设计、虚拟人设计、...

刑事诉讼程序要点精释与裁判依据 【政治法律】

本书参照《刑事诉讼法》的体例，分4编，20章，约400个问题。针对提出的问题，分为[法律依据]和[实践指导]两个部分，[法律依据]直接提供立法和司法解释的相关规定，[实践指导]是在[法律依据]基础上提示应当注意的问题，有...

Delphi程序开发范例宝典 第2版 【工业技术】

本书全面介绍了Delphi程序开发所用到的技术和技巧，共分19章，内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...

专案管理圣经 怎样运用9大知识领域、5大程序成功完成专案=Mastering project management 【其他书籍】

考点解析、例题精解与实战练习 二级Visual Basic语言程序设计 【工业技术】

为了更好地服务于考生，引导考生尽快掌握计算机先进技术，并顺利通过计算机等级考试，配合新考试大纲的推出，我们特别编写了本书。本书分17章来讲解计算机等级考试二级VB的知识，章节安排与最新教育部考试中心指定教...