《Z形式规约切片的研究》充分利用已有的程序切片和依赖性分析技术，结合国内外在形式规约切片及其应用方面的最新研究动态，在Z形式规约切片及其应用方面展开研究工作。《Z形式规约切片的研究》共八章，分成四大部分：第一部分为第1章，是全书的一个概述；第二部分包括第2～5章，主要研究了Z形式规约切片技术；第三部分包括第6～7章，主要研究了Z形式规约切片的应用；第四部分为第8章，是对全书的结论。《Z形式规约切片的研究》研究的目的是通过对形式规约切片原理的研究，一定程度上解决形式规约切片及其在提升和度量应用等方面存在的问题，提出基于依赖性分析的Z形式规约切片和基于关系演算的Z形式规约切片，并在此基础上把Z形式规约切片应用到提升、定理证明和度量上。

自然语言处理是运用计算机对自然语言进行分析和理解，从而使计算机在某种程度上具有人的语言能力。本书重点介绍了自然语言处理的基本问题、相关方法和重要领域，包括汉语句型分析与分布统计、语料库处理、文本自动分类与检索、文本自动文摘、中文文本自动校对、人机交互技术、汉语盲文翻译和甲骨文信息处理等。本书既有数学理论模型，又有实验论证，从理论到实践，深入浅出，结构合理，概念阐述明确，公式推导简明，易于理解，便于教学。本书可作为中文信息处理专业和计算语言学专业的高年级本科生、研究生的教材或参考书，也可供自然语言处理或计算机信息处理和人工智能领域的相关人员参考。

本书是高等学校计算机教材，主要内容包括：数据库系统概论、Visual FoxPro简介、数据与数据运算、数据表基本操作、数据库及其操作、结构化查询语言（SQL）、结构化程序设计、可视化表单设计、报表与菜单设计和应用程序开发实例。本书适合高校计算机专业学生学习。本书根据高等院校最新的计算机教学大纲，及作者多年来积累的教学经验，在第一版的基础上做了较大的修订。主要是调整了某些章节的编排，增加了SQL的教学内容，删除了部分较难掌握的理论知识，强化了对基本知识、基本技能和动手能力的训练。全书共分10章，主要内容包括：数据库系统概论、Visual FoxPro简介、数据与数据运算、数据表基本操作、数据库及其操作、结构化查询语言（SQL）、结构化程序设计、可视化表单设计、报表与菜单设计和应用程序开发实例。本书的特点是概念清晰、实例丰富、编排合理。在每章后都附有一定数量的习题，便于读者复习参考。为便于教师的授课，配有相关电子教学文档。本书可作为各类院校“Visual FoxPro程序设计”或相关课程的教材，也可作为各类培训班相关课程的教材。对于参加全国计算机二级Visual FoxPro考试的读者，也是一本相当实用的参考书。

《可编程控制器原理与应用》力求紧密结合职业技能教育的特点，注重理论联系实际，特别对可编程序控制器控制系统的组成、指令系统等作了详细的介绍，重在突出实用性，加强实践能力的培养。《可编程控制器原理与应用》结构合理、条理清晰、通俗易懂，列举了大量的应用实例，并为每章配有适量的习题，便于教学与自学。

《代码大全（第2版）》是著名IT畅销书作者、IEEE Software杂志前主编、具有20年编程与项目管理经验的SteveMcConnell十余年前的经典著作的全新演绎：第2版做了全面的更新，增加了很多与时俱进的内容，包括对新语言、新的开发过程与方法论的讨论，等等。这是一本百科全书式的软件构建手册，涵盖了软件构建活动的方方面面，尤其强调提高软件质量的种种买践方法。作者特别注重源代码的可读性，详细讨论了类和函数命名、变量命名、数据类型和控制结构、代码布局等编程的最基本要素，也讨论了防御式编程、表驱动法、协同构建、开发者测试、性能优化等有效开发实践，这些都服务于软件的首要技术使命：管理复杂度。为了培养程序员编写高质量代码的习惯，书中展示了大量高质量代码示例（以及用作对比的低质量代码），提高软件质量是降低开发成本的重要途径。除此之外，《代码大全（第2版）（英文版）》归纳总结了来自专家的经验、业界研究以及学术成果，列举了大量软件开发领域的真实案例与统计数据，提高《代码大全（第2版）（英文版）》的说服力。《代码大全（第2版）（英文版）》中所论述的技术不仅填补了初级与高级编程实践之间的空白，而且也为程序员们提供了一个有关软件开发技术的信息来源。《代码大全（第2版）（英文版）》对经验丰富的程序员、技术带头人、自学的程序员及没有太多编程经验的学生都是大有裨益的。

面向服务的汁算代表了分布式计算和软件开发的最新发展方向。本书从发展沿革、核心思想、基本概念和原理、核心技术、Web服务应用编程和实例、研究现状等方面全面而系统地介绍了面向服务的计算。.全书共13章，分为六大部分。第一部分（第1章）介绍面向服务的计算的需求背景、历史沿革以及未来发展方向；第二部分（第2、3章）介绍面向服务计算的核心概念、思想和原理，重点分析服务、面向服务的体系结构（SOA）和Web服务；第三部分（第4～9章）介绍SOA使能技术，包括服务通信、服务描述、服务发布和发现，以及高层服务组合和服务协作，还包括SOA在保障应用质量方面的服务事务和服务安全；第四部分（第10章）介绍和构造与面向服务的应用相关的分析、设计技术以及相关的方法学；第五部分（第11、12章）介绍SOA的高级支撑平台，包括语义网和服务网格技术；第六部分（第13章）介绍中国科学院汁算技术研究所中德软件集成技术联合实验室近年来在“十五”科技攻关、“863计划”等项目基金以及自然科学基金的支持下，在服务网格和个性化最终用户编程方面的最新研究成果。..本书适合计算机软件专业研发人员、高校计算机及相关专业的教师和研究生阅读。...

Make your Web pages stand out above the noise with JavaScript and the expert instruction in this much-anticipated update to the bestselling JavaScript Bible. With renowned JavaScript expert Danny Goodman at your side， you’ll get a thorough grounding in JavaScript basics， see how it fits with current Web browsers， and find all the soup-to-nuts detail you’ll need. Whether you’re a veteran programmer or just starting out， this is the JavaScript book Web developers turn to again and again.

本书主要介绍Visual FoxPro的各种基本操作，学习本书之后可以基本达到使用Visual FoxPro进行数据管理、数据库系统的建立等与数据库有关工作的要求。.本书包括数据库系统的基础知识、数据库的实施、数据查询、生成用户界面、应用程序及实训共6章。本书由浅入深、由易到难、循序渐进、图文并茂，理论与实际制作相结合，充分注意保证知识的相对完整性和系统性，使读者在阅读学习时能够快速入门。全书具有一定的知识信息量，教师可以方便地使用它进行教学。..本书为高职高专学校的教材，也可以作为中级培训班的教材，还适合作为初学数据库应用人员的自学用书。...

《PLC应用开发从基础到实践》从可编程控制器应用的实际需要出发，详细介绍了PLC的结构配置、工作原理、指令及系统、编程方法和通信等内容，并在此基础上介绍了PLC控制系统的设计原则、设计步骤、硬件设计、软件设计等。最后通过具体的实例介绍PLC的软件设计方法及应用系统构成，以及常用PLC的型号和资源配置，并给出具体的源程序。应用实例包括交通信号灯控制、水处理控制、啤酒发酵控制系统等。本收以实用为宗旨，系统性强，层次清楚，实例典型，有较强的实用性和参考价值。通过《PLC应用开发从基础到实践》的学习，可以让读者了解开发PLC系统的全过程，包括总体设计、PLC的选择及配置和程序设计等。《PLC应用开发从基础到实践》可供电气控制、计算机应用、机电一体化等相关专业工程技术人员参考，也可作为大专院校及在职工程技术人员继续教育的教材。

《高等学校计算机基础教育教材精选：Visual FoxPro 9.0课程设计（第2版）》主要是为使用Visual FoxPro 9.0语言进行课程设计、毕业设计以及项目设计的读者编写的。本书包括两个部分：第一部分是Visual FoxPro 9.0项目开发基础，主要介绍使用Visual FoxPro 9.0进行项目开发的过程、步骤、安装制作及应用程序发布，使读者对开发项目有一个整体认识；同时，介绍一些重要的控件和常用但很少说明的事件；最后介绍项目开发中如何进行各种界面的设计。第二部分是Visual FoxPr0 9.0应用项目实例，通过人力资源管理系统、考试系统等6个系统，从界面设计、网络、数据库关联、Web开发等不同角度说明使用Visual FoxPro 9.0进行项目开发的过程。《高等学校计算机基础教育教材精选：Visual FoxPro 9.0课程设计（第2版）》从实际开发的角度出发，深入浅出，给出完整的项目开发过程，只要具有初步Visual FoxPro 9.0知识的读者就能开发出高水平的项目。本书适用于高等院校学生的课程设计、毕业设计；同时也适合进　行实际管理信息系统（MIS）项目开发的人员参考。