本书主要内容包括应用软件开发过程、应用软件开发工具、应用软件开发环境、编程基础知识、连接数据库技术、访问数据库技术、窗口界面编程技术、结构化查询语言——SQL、编译与发布应用程序等。书中通过多个实例介绍PowerBuilder9．0软件开发工具进行应用开发的各种技术，并通过一个综合案例——客房管理系统，完整地介绍了开发应用软件的全部过程。本书介绍应用软件开发技术的基本思想和方法，如系统分析、系统设计、数据库设计、数据统计、多表查询的方法等，不仅适合没有应用软件开发经验的读者学习，也适合有一定应用软件开发基础的读者学习。本书可作为高等院校和计算机培训班的使用教材，也可以作为学生学习信息系统课程设计的参考书或计算机编程爱好者在进行应用软件开发时的参考书。本书前言应用软件开发的过程就是从问题提出、开发班子组成，总体规划、系统分析、系统设计到系统实现和评价的全部过程。根据软件系统生命周期理论，开发一个大型应用软件时，可以将开发的步骤分为可行性论证、系统调查与系统需求分析、系统设计、数据库设计、程序开发、系统测试和调试、生成可执行程序和发布等阶段。其中每个阶段都有明确的任务，并产生一定规格的文档资料交付给下一阶段，而下阶段则在上阶段所交付的文档的基础上继续进行开发过程。如何进行应用软件开发工作呢？需要掌握哪些应用软件开发技术呢？作为教材，本书以PowerBuilder9.0作为应用软件开发工具，对应用软件开发技术的基本内容做了详细的介绍；在内容的编排上体现了新的计算机教学思想和方法，以“提出问题——介绍解决问题的方法——归纳必要的结论和概念”的方式介绍应用软件开发的思路，并通过大量的实例和插图，使读者可以在短时间内了解应用软件开发的步骤，掌握应用软件开发的基本技术。本书有以下特点：1.通俗易懂、图文并茂：本书通过具体的案例介绍有关概念、方法和技术。从第3章开始，每章案例内容都组成一个完整的应用软件，有具体的方法和步骤，并配有图形说明，读者完全可以按书中介绍完成每个案例的创建与开发。2.内容全面：本书以PowerBuilder9.0作为软件开发工具，全面介绍了进行应用软件开发的基本方法、技巧以及富有创意的代码。通过具体实例全面介绍了数据库应用软件的数据库、数据表、窗口、数据窗口对象、启动窗口界面、系统菜单、常用控件、系统登录窗口的创建方法。在创建案例的同时，介绍了很多控件的使用方法和编写事件代码、自定义函数代码的技术。3.系统性强：本书结合案例制作，以介绍应用软件开发技术为目标，从第1章到第10章全面系统地介绍了应用软件的整个开发过程，并重点介绍了系统设计、程序开发、测试编译生成可执行程序等阶段的内容和具体实现方法。4.循序渐进：本书对整个内容作了精心设计和安排，从应用软件开发的过程来安排书的前后顺序，根据应用软件开发内容的需要，以PowerBuilder9.0软件工具为例介绍相关的软件开发技术，最后介绍一个完整的应用软件开发过程，使书中内容循序渐进，先易后难，逐步深入。5.实践性强：在阅读本书时，可结合具体的应用需要，动手实践，按照书中介绍的应用软件开发步骤，使用PowerBuilder9.0工具，短时间内开发出功能全面的应用软件。本书各章内容简介如下：第1章应用软件开发过程，全面介绍了应用软件开发的基本步骤，使读者了解应用软件的开发过程。第2章应用软件开发工具，介绍了目前常用的应用软件开发工具，以及为什么选择PowerBuilder9.0作为应用软件开发工具。第3章应用软件开发环境，以PowerBuilder9.0作为软件开发工具，介绍如何使用软件工具进行软件的开发工作，从建立工作空间、应用程序对象、系统启动界面、主窗口到运行程序的开发环境。第4章编程基础知识，这是学习应用软件开发应掌握的基本内容。第5章连接数据库技术，介绍如何创建数据库、如何将数据库与应用程序连接起来的方法。第6章访问数据库技术，介绍如何通过数据窗口对象对数据库中的数据表进行增加、删除、修改、查询等操作。这是学习应用软件开发技术的主要内容。第7章窗口界面编程技术，介绍了建立窗口界面功能的编程方法和技巧。这是学习应用软件开发技术的重要内容。第8章结构化查询语言——SQL，介绍了应用软件开发技术中都要使用的一个查询工具以及在PowerBuilder9.0中如何使用SQL。第9章综合案例，详细介绍了“客房管理系统”应用软件开发的过程。第10章调试、编译与发布，介绍了如何使用PowerBuilder9.0对开发的应用程序进行测试并编译成可执行文件，以及应用软件发布给用户时需要注意的问题。同时介绍了如何对PowerBuilder低版本的应用程序进行升级。本书由邵丽萍统一拟定提纲，并编写第8、9、10章，张尚立编写第1、2、3章，常丹编写第4、5章，王英编写第6章，帅零编写第7章。本书写作得到北京交通大学经济管理学院“信息管理专业实验环节教学资源建设”课题的资助。鉴于时间和作者的水平有限，本书中难免存在错误和不足之处，请读者提出宝贵意见。作者2005年3月

本书系统地介绍了与程序设计竞赛有关的组合数学的基本理论和算法设计与分析的常用方法。全书共分8章，分别为：算法基础、组合数学初探、排列与组合、容斥原理、母函数、拟阵、贪心算法和Pólya定理。本书突出组合数学算法的设计与优化，从而更便于参加程序设计竞赛的读者学习组合数学。 本书可作为ACM/ICPC国际大学生程序设计竞赛和国际信息学奥林匹在竞赛（IOI）的培训教材，也可供从事组合数学与算法研究的人员参考。

暂缺简介...

对WDM深入研究，以作者实战经验，助读者少走弯路，节约大量时间。详细描述入门步骤，提供20个典型实例，程序给出必要的注释。配套光盘含有书中所有实例的驱动程序和应用程序的全部源代码，以及生成的驱动程序和可执行文件。本书主要介绍了用DriverStudio3.1开发工具开发Windows2000/XP下的WDM设备驱动程序的原理及编程方法。本书详细介绍了WDM基本程序框架和编程、IRP的基本概念及编程、WDM和应用程序之间的通信、即插即用、电源管理、WMI的编程技术、IRP串行处理、过滤器驱动程序、WDM访问硬件设备、处理硬件中断、实现DMA操作的编程技术，以及大量的基本编程技术，还有USB接口和PCI接口设备驱动程序WDM的开发。本书附有20个典型的编程实例，便于读者学习和掌握。本书是一本技术性较强的工具书。本书的适用对象是具有一定计算机硬件及C++语言基础的计算机应用开发人员，是计算机应用开发人员和高等院校学生的实用参考书。

《USB接口开发技术》共10章，可分为三个部分。第一部分为第1～4章，主要介绍USB系统概念和USB 1.1协议及USB 2.0协议的内容。这部分内容是学习后续内容的基础，其中提出的很多概念后面还要反复涉及。第二部分为第5～8章，分别介绍了四种不同公司出品的USB接口芯片，它们是NS、Cypress、TI和Philips公司的代表产品，也是开发中经常用到的芯片，很有实际意义。第三部分包括第9章和第10章，介绍了一个以USBN9603为核心的USB通信板，演示USB设备的软、硬件开发技术细节。其中，第9章介绍了通信板的硬件和软件开发，第10章介绍了内容较多且较为独立的Windows下的USB驱动程序设计。《USB接口开发技术》可作为高等院校电子、计算机专业高年级学生学习掌握USB接口技术的参考书，同时可供USB技术产品的研发人员和对此技术感兴趣的爱好者参考。要全面掌握本书内容，读者必须有一定的数字电路设计和软件编程基础，并对Windows操作系统及其驱动程序设计有基础性的了解。

可以毫不夸张地说，这是嵌入式系统的经典书籍，在阅读本书的英文版时，我们多次拍案叫绝，尤其是被作者在硬件、软件和应用领域的广博知识所折服。本书作者RajKamal教授在无线电子、微处理器、微控制器、计算机组成和体系结构以及嵌入式系统和计算机网络等领域有30多年的理论和实验教学经验。与其他书籍相比，本书面向的是嵌入式系统开发的初中级设计人员，是一本深入浅出的嵌入式系统教程。我想这也是作者的初衷。本书的特点在于，它不仅全面介绍了嵌入式系统的基础知识，而且通过大量详尽的示例帮助读者理解理论知识。当然，这些真实案例对系统设计人员来说具有非常好的参考价值。如本书第11章中的“巧克力自动售卖机”、“网络传输”、“汽车自适应行驶系统”、“智能卡”等完整案例，对于未接触过嵌入式系统开发，但想要尽快熟悉开发过程的设计人员提供了很好的示范和模板。更难得的是，本书并没有拘泥于介绍传统的嵌入式系统原理和设计方法，嵌入式系统领域的新兴技术和产品同样得到关注。

《LS-DYNA3D理论基础与实例分析》通过实例详细阐述了非线性力学理论、有限元离散方法及其在LS-DYNA3D软件中的具体实现；分析了软件操作步骤，系统讲解了有限元模拟过程以及相关注意事项；由浅入深地帮助读者理解分析非线性有限元的基本思想，积累实际操作经验，以便不断提高分析处理问题的能力。LS-DYNA3D软件是功能齐全的几何非线性、材料非线性以及摩擦和接触分离等界面状态非线性有限元数值计算程序，是军用和民用相结合的通用结构分析非线性有限元程序。《LS-DYNA3D理论基础与实例分析》可供汽车、航空航天、国防军工、岩士工程、土木工程、电子、石油、船舶以及建筑等行业的科技人员进行力学分析与产品开发使用，也可以作为大学本科与研究生学习非线性力学及有限元课程的参考教材。

《21世纪高职高专规划教材（计算机系列）：计算机导论与程序设计》是作者在长期教学实践基础上编写而成的。全书内容分为两篇。第1篇为计算机导论篇，包括计算机基本概念、信息表示、硬件系统组成、软件系统组成、计算机网络构成、Windows操作系统使用、Word和Excel的使用等内容。第2章为C语言程序设计篇，详细介绍C语言的基础知识、语法规则和利用C语言进行程序设计的方法等内容。《21世纪高职高专规划教材（计算机系列）：计算机导论与程序设计》配有大量的例题和习题，连贯性强，并且概念清晰、文字流畅、通俗易懂，具有集计算机导论和C语言程序设计于一书的特色。特别适合于作高职高专计算机专业计算机导论与程序设课程的教材和参考书，也可供其他专业的学生阅读和参考。

本书通过大量实例，系统地介绍了应用EDA技术进行FPGA／CPLD器件的数字电路系统仿真设计的方法和技巧。本书主要包括如下内容：EDA技术概述，可编程逻辑器件，使用MAX+PLUSⅡ10．2进行数字电路系统设计和仿真的方法，VHDL硬件描述语言，有限状态机以及FPGA／CPLD器件的硬件连接等。本书内容全面，叙述清晰，既可以作为学习EDA技术应用的基础教材，也可以作为电子类工程技术人员的参考书。

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 读者对象：本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。