暂缺简介...

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

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

《VisualFoxPro数据库系统项目开发实践（预订中，估价）》VisualFoxPro是Microsoft公司推出的中小型可视化数据库管理系统，它提供了诸多新特性以方便用户对数据库的开发和维护，是数据库开发工具中的主流产品。本书共分为8章，详细讲解了企业物资管理系统、图书管理系统、学位论文管理系统、医院管理系统、企业物资管理系统、企业员工考勤管理系统、客户管理系统、人事管理系统的实现。在讲解系统实现过程中，本书遵循由易到难的原则，详细介绍这些系统实现的要点，以及系统中使用到的各项技术，从而方便了不同层次读者的阅读要求，帮助读者在一个轻松的环境下，逐步掌握各种管理信息系统的实现方式。本书具有很高的实用价值，其内容紧凑、实例丰富、结构严谨、深入浅出，无论是对初学数据库开发的读者，还是已经接触过其他数据库开发工具或从事VisualFoxPro项目开发的读者，都会起到有益的帮助。

本书是“机器人创意与制作”系列之一。本书重点向读者介绍PIC系列微控制器：PIC 16F84的开发及应用。主要内容有PIC微控制器的工作原理，编译器、编程器以及开发环境的使用，测试方法，编译器的基本指令和附加指令，I／O口的创建与扩展，与外围设备如LCD、A／D以及传感器等的接口，在语音合成器、三种典型电机控制以及交流设备上的应用等。本书的特点是内容深入浅出，紧密结合实际，提供给读者大量的应用实例和相应的源程序，从而有利于培养学生综合运用知识进行工程设计和实践的能力。本书可以作为大专院校理工科学生补充机械电子学、计算机控制、机器人工程、人工智能等领域知识的参考书，也可供广大机电技术爱好者的自学参考。

本书是关于ML程序设计的经典教材，详细介绍如何使用ML语言进行程序设计，并讲解函数式程序设计的基本原理。书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。本书前言前言：本书源于对StandardML和函数式程序设计的讲稿。它仍可以作为函数式程序设计的课本—一本面向实用，而不是标准的、理想化的书—然而，它主要是一本有效使用ML的指南。它甚至讨论了ML的命令式特性。有些内容需要离散数学的知识，例如初等逻辑和集合论。读者会发现以往的程序设计经验是有用的，但不是必需的。本书是一本程序设计手册，而不是参考手册。它覆盖了ML的主要方面，但并不尽述所有的细节。它在理论原理上花费了一些篇幅，但主要还是关心高效的算法和实际的程序设计。本书的组织反映了我的教学经验。高阶函数出现得较晚，在第5章讲述。惯常的做法是在一开始就介绍一些不甚自然的例子，这样做只能使学生们感到困惑。高阶函数的概念是不容易理解的，需要充分的预备知识。所以，本书从基本类型、表和树开始讲述。当讲到高阶函数时，很多相关的例子已经是现成的了。练习的难度相差很大。它们不是用来评测学生的，而是为了提供实践机会，拓展内容和激发讨论的。本书一览。大多数章节都专注于ML的各个方面。第1章介绍了函数式程序设计的背景思想，以及ML的历史概况。第2～5章涵盖了ML的函数式部分，包括对模块的简介。讲述了基本类型、表、树和高阶函数。对函数式程序设计的更广泛的原理也有所讨论。第6章给出了论证函数式程序的形式方法。看上去似乎偏离了程序设计的主题，然而错误的程序是没用的。易于形式论证是函数式程序设计的一大好处。第7章详细讲述了模块，包括函子（带参数的模块）。第8章讲述了ML的命令式特性：引用、数组和输入输出。本书的其余部分由较大的例子构成。第9章给出了函数式的语法分析器和一个l-演算解释器。第10章给出了一个定理证明机，这是ML的传统应用。书中的例子非常丰富。其中一些只是为了说明ML的某个方面，但大多数本身就有一定用途—排序、函数式数组、优先队列、搜索算法、美化打印。请注意：虽然我测试过这些程序，但是它们仍不免含有错误。信息和警告块。技术性的旁白、库函数的叙述以及为进一步学习而给出的笔记都会不时地出现。它们被加以如下图标以便有些读者可以跳过：亨利王的要求。他们拿不出什么理由可以反对陛下向法兰西提出王位的要求，只除了这一点，那个在法拉蒙时代制定的一条法律，InterramSalicammulieresnesuccedant，‘在撒利族的土地上妇女没有继承权’：而法国人就把这‘撒利族的土地’曲解为法兰西的土地，并且把法拉蒙认做是这条法律的创制人和妇权的剥夺者。可是他们的历史学家却忠实地宣称撒利区是在日耳曼的土地上……ML并不完美。某些缺陷会使简单的编码错误浪费掉程序员几个小时的时间。而且，新的标准库使得新旧编译器不兼容。因此，本书中有一些这样的警告图标：小心葛罗斯特公爵。呵，勃金汉！小心那个狗东西：要知道，摇尾的狗会咬人；咬了人，它的牙毒还会叫你痛极而死；莫同他来往，千万留意；罪恶、死亡和地狱都看中了他，地下的大小役吏都在供他使唤。我要赶紧补充一点，在ML里不会产生这么可怕的后果。程序里的错误是不能冲垮ML系统本身的。另一方面，程序员必须牢记，即使是正确的程序也可能给外部世界带来伤害。如何得到StandardML编译器。由于StandardML刚出现不久，很多学院没有编译器。下面列出了现有的一些StandardML编译器，并附有联系地址。书中的例子是在MoscowML、Poly/ML和StandardMLofNewJersey下开发的。我尚未尝试其他的编译器。要得到MLWorks，请联系HarlequinLimited，BarringtonHall，Barrington，Cambridge，CB25RG，England。他们的电子邮件地址是web@harlequin.com。要得到MoscowML，请联系PeterSestoft，MathematicalSection，RoyalVeterinaryandAgriculturalUniversity，Thorvaldsensvej40，DK-1871FrederiksbergC，Denmark。或从互联网上得到该系统：http：//www.dina.kvl.dk/~sestoft/mosml.html要得到Poly/ML，请联系AbstractHardwareLtd，1BrunelSciencePark，KingstonLane，Uxbridge，Middlesex，UB83PQ，England。他们的电子邮件地址是lambda@ahl.co.uk。或从互联网上得到该系统：http：//www.polyml.org/要得到PoplogStandardML，请联系IntegralSolutionsLtd，BerkHouse，BasingView，Basingstoke，HampshireRG214RG，England。他们的电子邮件地址是isl@isl.co.uk。要得到StandardMLofNewJersey，请联系AndrewAppel，ComputerScienceDepartment，PrincetonUniversity，PrincetonNJ08544-2087，USA。更好的是可以从互联网上得到文件：http：//www.cs.princeton.edu/~appel/smlnj/http：//www.smlnj.org/书中的程序和一些练习答案可以通过电子邮件得到，我的电子邮件地址是lcp@cl.cam.ac.uk。如果可能，请使用互联网，我的主页在http：//www.cl.cam.ac.uk/users/lcp/致谢。编辑，DavidTranah，在写作的各个阶段提供了帮助，并建议了书名。GrahamBirtwistle、GlennBruns和DavidWolfram仔细阅读了文本。DaveBerry、SimonFinn、MikeFourman、KentKarlsson、RobinMilner、RichardO誎eefe、KeithvanRijsbergen、NickRothwell、MadsTofte、DavidN.Turner和Harlequin的工作人员也对文本提出了意见。AndrewAppel、GavinBierman、PhilBrabbin、RichardBrooksby、GuyCousineau、LalGeorge、MikeGordon、MartinHansen、DarrellKindred、SilvioMeira、AndrewMorris、KhalidMughal、TobiasNipkow、KurtOlender、AllenStoughton、ReubenThomas、RayToal和HelenWilson发现了前几次印刷中的错误。PieteBrooks、JohnCarroll和GrahamTitmus在计算机使用方面给予了帮助。我还要感谢DaveMatthews开发了Poly/ML，这是多年以来唯一高效的StandardML的编译器。在众多的参考文献中，Abelson和Sussman（1985）、Bird和Wadler（1988）以及Burge（1975）的著作特别有帮助。Reade（1989）的书中包含了在ML中实现惰性表的有用思想。TheScienceandEngineeringResearchCouncil在过去20多年来给予了LCF和ML大量的研究资助。本书的大部分写作工作都是我从剑桥大学休假的过程中完成的。我感谢计算机实验室（ComputerLaboratory）和卡莱尔学院（ClareCollege）给予休假，以及爱丁堡大学对我六个月的招待。最后，我要感谢Sue，感谢她所给我的一切帮助，以及天天耐心倾听我关于每一章进展的报道。

VisualFoxPro9.0系统是Microsoft公司最新发布的一款数据库应用系统，它在以往版本的基础上有了很大的改进，功能更加强大，提供了可视化界面的设计方法，支持面向对象的程序设计技术。VisualFoxPro9.0是具备自开发语言的数据库管理系统，它既可以作为大型数据库的前端开发工具，也可以进行小型的应用系统开发，是使用非常广泛的数据库应用系统的开发工具。本书从基本的概念到应用系统的设计实例，循序渐进地介绍了使用VisualFoxPro9.0进行数据库应用系统开发的各种知识。本书结构严谨、内容翔实、实例丰富，非常适合程序开发人员和高等院校的师生使用。本书每章中的实例源代码可以到http：//www.tupwk.com.cn/downpage/index.asp网站下载。本书参照开发数据库应用程序的基本步骤，重点讲述了VisualFoxPro9．0的开发环境、数据库、数据库操作技术、查询、视图、程序设计基础、表单和表单集、表单控件、菜单和工具栏、报表与标签、应用程序的调试与发布等基础知识，在本书的最后一章使用一个完整的学位论文管理系统介绍了数据库应用程序的开发过程。

本书通过由浅入深、从易到难的方式介绍了手机平台的开发过程。为了让读者对目前出现的新概念、新术语有所了解，本书产先从计算机网络的基本概念讲起，接着介绍了无线局域网、SMS系统、WAP和Winsock编程方面的基本知识，然后全面讲解了手机平台的相关开发过程。内容主要包括字符集编解码、SMS加密、串口收发SMS详解与示例；CMPP协议用VC++类的形式进行解析的过程，SGIP协议用VC++ ATL详解与实例；BREW基础用BREW进行手机动画和音乐的开发过程，用BREW进行手机网络开发详解，手机内存管理，手机BREW游戏实例讲解。通过对各个章节的学习，可以使读者达到能独立开发手机（多媒体）短信平台的能力。 本书内容丰富、新颖，具有较高的实用价值，适合高校学生和从事电信增值系统的开发和维护人员，手机游戏开发人员以及传统软件开发人员参考与使用。

本书主要阐述了光电检测技术的基本原理和基本技术应用。内容包括光电检测技术基础、光电转换器件、发光器件、光电信号的变换及检测技术及光电信号的检测方法。本书内容全面，语言通俗易懂，既强调系统性，又尽力突出基本概念、基本原理和基本方法，注重理论与实践相结合，实用性强，学生在学习本教材后，能熟悉光电检测的基本技术方法和应用领域并拓宽视野。本书可作为高职高专院校光电子、电子信息和光机仪器制造类专业教材，也可供其他对光电技术感兴趣的业余爱好者及工程技术工人参考。’需要本书或需要得到技术支持的读者，请与北京中关村083信箱（邮编100080）发行部联系，电话：010-82702660，010-82702658，010-62978181转103或238，传真：010-82702698，E-mail：tbd@bhp.cOm.cn

21世纪高职高专计算机系列规划教材 3。本书介绍了数据库的基础知识、基本操作和基本的程序设计方法。内容包括Visual FoxPro 6.0数据库系统的概述，项目管理，数据库和数据表等。