《Visual Basic+SQL Server中小型信息系统开发实例精选》用于指导高等院校计算机专业学生使用Visual Basic 6.0进行毕业设计。书中介绍了5个系统实例：企业人事管理信息系统、企业考勤管理信息系统、公路路政管理信息系统、企业设备管理信息系统和二手房销售管理信息系统，并从引言、需求分析、总体设计、数据库设计、详细设计、系统维护与改进6个阶段对每个实例进行详细分析。为了更好地指导学生进行毕业设计，书中增加了必要的毕业设计指导和管理信息系统的开发指导。《Visual Basic+SQL Server中小型信息系统开发实例精选》既可用作高等院校计算机专业毕业设计的参考书，也可供软件公司和相关企业有关人员参考。

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

《21世纪高等学校教材：可编程控制器原理与实践教程（第2版）》较为系统介绍了可编程控制器的基本组成、工作原理、基本指令、功能指令、程序设计方法、常用编程环节以及在工程中的应用。通过一些短小、易读、实用、有趣的工程应用小例子，使读者可以较短时内掌握可编程控制器的编程应用。《21世纪高等学校教材：可编程控制器原理与实践教程（第2版）》第1、第2章介绍了可编程控制器的基本知识和工作原理；第3、第4、第5、第6章以三菱公司的FX系列可编程控制器为例，介绍了可编程控制器的编程元件与指令系统、梯形图的经验设计法、根据继电器电路图设计梯形图的方法、以顺序功能图为基础的顺序控制设计以及系统设计与应用；第7章介强绍了可编程控制器的联网通信基本知识；第8章介绍了欧姆龙可编程控制器的有关内容；第9章为实验内容，供读者实践练习之用。《21世纪高等学校教材：可编程控制器原理与实践教程（第2版）》可作为高等院校和高职高专院校电气工程类、机电一体化类、应用电子技术类等专业学生的教学用书，也可作为工程技术人员自学和作为培训教材使用。《21世纪高等学校教材：可编程控制器原理与实践教程（第2版）》另配有电子教案（PPT格式）与书中全部习题的解答，供教材使用单位选用。

《嵌入式系统原理与设计》主要讲述嵌入式系统的原理及其设计方法，对嵌入式系统的开发过程、主要开发方法、开发工具进行了完整的介绍。《嵌入式系统原理与设计》共有11章，内容涉及了嵌入式系统的基本概念、设计方法、开发模式，ARM处理器的概念、指令系统、编程方法，嵌入式Linux的开发，Windows CE的开发等内容。本书内容丰富，理论讲述和实际开发相结合。本书不是针对某种处理器的开发用书。为了做到通用性和便于读者学习，书中所涉及的开发内容基本上都可以在PC机上实现，因此读者在学习过程中可以充分利用PC机来完成嵌入式系统的开发练习，提高学习效果。《嵌入式系统原理与设计》可作为研究生和高年级本科学生的教材，也可以作为嵌入式系统研发人员及相关科研人员的技术参考书。

随着嵌入式技术的发展，越来越需要一套很好的嵌入式系列教材。本书是学习嵌入式技术的入门教材，是学习嵌入式系统原理与接口技术、嵌入式系统设计与应用等知识的前导教材。 本书基于ARM体系结构进行汇编语言的教学。全书的内容分成三个部分：第一部分主要介绍汇编语言程序设计的基础知识和ARM系列微处理器，包括第1、2章；第二部分主要介绍基于ARM体系结构的指令系统，汇编程序设计，以及异常中断编程，包括第3、4、5章；第三部分主要是ADs集成开发环境的使用和ARM汇编语言程序实验，包括第6、7章。书中含光盘1张，内含相关章节程序源代码及其他相关资料。 本书可作为高等院校计算机及相关专业本科生和专科生的汇编语言程序设计课程的教材或参考书，也可供使用汇编语言的工程技术人员参考。

要想真正高效地使用Linux，就必须全面掌握shell和命令行。通常必须购买两本书才能达到精通的目的：一本关于Linux基本概念和技术的指南，再加上一本单独的参考手册。更糟糕的是，大多数Linux参考手册只是对man手册页的稍加整理。而现在有了一个好得多的解决方案。知名Linux专家Mark Sobell编写的这本书，为系统管理员、开发人员和高级用户提供了最需要的全面的深入指导，同时还是一本卓越的日常参考手册。.本书与具体版本无关，可以在任何Linux系统上使用。更重要的是，书中包含数百个高质量的示例，这些示例要比其他任何一本Linux手册中的示例要实用得多。本书全面介绍了Linux：为从文件系统到shell、从编辑器到工具以及从编程工具到正则表达式等方面提供了最清晰的讲解和最有用的知识。并且，当需要立即得到答案时，可以翻到本书的命令参考部分，这部分内容经过精心组织和标注，非常易于快速查找！本书是目前所能找到的最实用、最全面的Linux指南和参考于册，也是唯一一本提供以下全部内容的书籍：更好更实用的示例覆盖了实际：工作中需要执行的任务；基于作者对Linux的渊博知识，本书提供了更加深入的理解；为从aspell到xargs等80多个工具提供厂更加实用的讲解；使用ssh和scp的安全通信实现技术，以及多处让系统更加安个的提示；很好地介绍了Linux编程环境，包括make、gcc、gdb、CVS等；关于使用bash和tcsh进行墓本的椭级的shell编程的专家指南；定制shell以及在命令行卜交互使用shell的提示和技巧；提供了vim和emacs的详细指南，月的足为了帮助读者提高编辑效率；大量练习将有助于提高读者的动手能力并获得自信心；介绍丁如何使用Apt、yum和BitTorrent白动更新系统；还介绍了gawk、sed、find、sort、bzip2和止则表达式等内容。...

调试一直是软件开发过程中“最痛苦”的环节，本书有望改变这一现状，因为它将调试的科学原理与业界的实践经验有机地融合起来，阐释了有关发现和修正程序错误的最佳方法和实践过程。.本书一共分为15章，以系统化的方式向读者介绍了整个调试过程，从跟踪和重现故障开始，一直到自动化和简化测试用例，寻找故障最可能的来源，分离故障的起因和结果，并最终修正程序缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术，还用浅显的语言说明如何使用一些调试领域最前沿的高水平调试工具。..本书适于那些希望掌握如何以系统化和自动化的方式调试程序的计算机编程人员、及相关专业的研究生以及高年级本科生。...

本套软件以国家教育部最新考试大纲和历年考试真题为基础，根据等级考试命题研究中心的命题专家和各地考点一线教师、考生提供的建议精心编制而成。本软件试题最新最全、针对性强、结构清晰、覆盖全部考试要点；采用模拟考试形式，辅以详尽解析和操作演示来提高考生的应考能力。...

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

《21世纪高等院校计算机专业基础课程教学辅导丛书：Visual FoxPro 程序设计学习指导与题解》旨在帮助读者加深对“VisualFoxPro程序设计”课程知识要点的理解，掌握本课程的基本概念、基本理论和基本方法，提高分析问题和解决问题的能力。本书归纳了“VisualFoxPro程序设计”课程的主要内容和知识要点，较为深入地分析、研究了各章的重点与难点；通过对大量典型题例的深入剖析与详尽解答，帮助读者熟悉解题方法，掌握解题思路与技巧；每章提供了大量的测试题和参考答案，可帮助读者检测和加深对内容的理解。本书无论是对讲授还是学习“VisualFoxPro程序设计”课程，都将提供很大帮助，同时还可作为计算机等级考试和其他考试的复习资料。