本书从普能的用户角度出发、从实用的角度出发，首先介绍了Internet有一些基础知识，然后描述了现今最新的一些浏览和制作网页的工具，接着讲解了HTML语言和JavaScript脚本语言，最后举了网页制作的实例。

UML是OMG于1997年11月批准的标准建模语言，是20多年来面向对象技术发展史上的重大里程碑。本书首先扼要介绍UML的发展历史，然后详细介绍UML的用例图、类图、对象图、交互图（顺序图和合作图）、状态图、活动图、构件图和配置图等九种模型的构成要素、符号表示、语法和语义，并介绍基于UML的软件开发过程，最后给出用UML进行程序设计的示例。在每章之后还附有习题，以帮助读者复习与掌握该章的主要内容。本书可作为各类专业本科高年级学生和硕士研究生学习面向对象技术的教材，也可作为工程技术人员自学面向对象技术的参考书。

内容简介VisualInterDev6.0是美国微软公司的一个用于设计、构造和管理Web站点的强大的开发工具。本书由19章组成，内容包括：VisualInterDev6.0概述，人门，VBScript，JavaScript，对象、事件及脚本程序设计，层叠风格页，动态HTML，活动服务器网页，对数据库的操作，对数据库的进一步讨论，数据库项目及数据库示意图，活动服务器部件，调试，链接视图，设计时间控件，再论设计时间控件，站点设计，源代码控制，实例分析。全书结构清晰，内容详尽，介绍全面，范例丰富。每一章都给出了相关内容的范例代码及其在浏览器中的运行结果。通过本书的学习，读者可以快速地开发Web应用程序，包括站点的结构和外观的设计，Web网页的建立、客户和服务器脚本的调试等。本书无论是对Web开发人员、Web管理员，还是对Web初级设计人员都是一本极好的参考书。它同时也可作为科研机构人员、大专院校相关专业的师生教学、自学的参考书。本书配套光盘的内容包括与本书配套的电子书，送“精通Visua1J＋＋1.1”多媒体学习软件。

本书是Struts的学习指南。书中较为全面地介绍了Struts架构下进行Web应用开发的程序设计技术。本书的特色是以案例为主，将相关知识点作为主线贯穿其中。第1部分是开发基础，内容涉及搭建运行环境和开发平台、Struts核心组件的工作原理和运行机制。考虑到许多初学Struts的开发人员普遍缺乏在Struts架构下完成项目开发的工程经验，本书在第2部分提供了一个完整的电子商务网站的设计和开发实例，并在该网站中实现了许多可以直接作为商用软件的模块，通过对该网站各个功能模块从需求分析、系统设计及部署实现等全过程的分析，使读者能够快速掌握Struts中最核心的组件，并能够依据书中提供的案例定制所需的功能，开发专业的JavaWeb系统。本书作者有多年从事教学和开发经验，并且有很多学生目前正在从事Struts开发工作。因此，作者清楚Struts的合理学习路线，以及在学习过程中的注意事项。本书结构清晰、注重实用、深入浅出。非常适合作为Struts的自学教材或培训教材，同时，也适合作为Struts开发人员的参考书。

《编译原理：学习指导与典型题解析》依据中国计算机学会、全国高校计算机教育研究会制定的“计算机科学与技术教程（CCC2002）”对编译原理课程教学的基本要求，并以陈火旺院士等编写的《程序设计语言编译原理（第三版）》教材的结构和内容为主线编写而成，旨在帮助学生正确理解书中的概念和原理，把握重点和难点，掌握解题技巧。书中每一章均包括学习要点、典型题解析和习题与解答3部分。学习要点中简要归纳该部分的主要内容和需要重点掌握的知识点，着重理清其中的概念、原理和方法，为学生理解和掌握课程内容提供指导；典型题解析针对那些具有普适性的问题，特别是针对学生在学习中遇到的重点和疑难问题，详尽地进行了分析和讨论，旨在帮助学生拓宽思路，加深对课程内容的理解，提高分析和解决问题的能力；每一章都选编了适当数量的各类习题，提供给读者练习，所有习题均给出了参考解答。在附录中还收入了几所大学的考研全真试卷以供读者参考。本书不仅是计算机专业编译原理课程的学习指导书，也是研究生入学考试的复习参考书，对于参加计算机专业自学考试和各类软件考试的考生以及其他需学习或了解编译原理的人员也有一定的参考价值。

本书以LabVIEW最新版本LabVIEW？？7Express为对象，系统介绍虚拟仪器设计的主要思想、图形化语言编程原理和应用中的最新技术。全书共13章，共分3大部分：第1部分（第1章）介绍虚拟仪器的基本概念和图形化编程语言的基本知识，第2部分（第2章至第7章）系统介绍LabVIEW的安装、编程环境、语法规则、程序结构和编程技巧；第3部分（第8章至第13章）重点介绍LabVIEW在数据采集、仪器控制（GPIB、VI-SA和串口等）、网络通信和数据分析处理等方面的基础及实际应用。本书编排结构合理，循序渐进，运用大量实例阐述概念和编程难点，突出系统性和实用性。本书可作为大专院校测控技术与仪器等相关专业的教材或教学参考书，也可作为实验室技术人员和工程技术人员开发基于现代测试系统的参考书。目前，虚拟仪器作为现代仪器发展的一个全新的方向，经过十几年的发展已经越来越受到人们的重视。尤其是采用虚拟仪器方案可以大大地缩短开发周期，降低开发成本，故其成为人们构建现代测控系统的首选。虚拟仪器的诸多开发工具当中，最具竞争力的就是美国NI公司的LabVIEW？7Express。LabVIEW是一个革命性的图形化编程平台，它在数据采集（dataacquisition简称DAQ）、虚拟仪器软件框架（virtualinstrumentsoftwarearchitecture，简称VISA）、通用接口总线（generalpurposeinterfacebus，简称GPIB）及串口仪器控制、图像处理、运动控制（motioncontr1）、数据分析和图表显示方面都具有强大的优势。LabVIEW已经成为测量与自动化解决方案的实际工业标准。基于Lab-VIEW的虚拟仪器技术在汽车、航空航天、半导体、通信、机械工程、生物医疗、地质勘探、铁路交通等诸多领域都有着广泛的应用。LabVIEW与以往那些基于文本的高级编程语言不同，它采用的是一种全新的数据流图编程方式，即用形象的图标和连线来代替一行一行的文本，这种"画"程序的方法非常符合科学家和工程师所习惯和常用的框图模块方法及思维方式。如果要完成一个普通程序，比如数学运算、数据输入输出和简单的端口通信功能等，可以选择LabVIEW作为编程工具，因为在完成这些工作时LabVIEW与其他高级语言没有差异；但是如果要设计一个虚拟仪器或者一个测控系统，那么就一定要选择LabVIEW。因为LabVIEW提供了大量与此相关的特殊功能，是所有传统高级编程语言所不具备的；LabVIEW中还有一个令所有熟悉C语言和MATLAB用户都兴奋的功能，就是可以在LabVIEW中直接调用编写好的MATLAB代码，不必重写程序；同样，在LabVIEW中还可以调用C语言编写的程序；此外，LabVIEW中还提供了方便和实用的网络测量数据传输、远程测量控制等网络功能。在本书完成之际，要特别感谢NI大中国区总经理陈大庞先生及相关人员，特别是高校部的陈庆全先生和姬晓蕾小姐，他们在本书的编写过程中提供了大量的帮助。本书所有的程序都在吉林大学一美国国家仪器公司虚拟仪器联合实验室所建立的测试系统内进行了测试。在此，向参与程序测试的魏小丽老师，及费珍福、丁炜、宋巍巍、唐亮、江科和张薇同学表示感谢。本书由吉林大学通信学院测控系周求湛和钱志鸿编写。其中第1章至第8章、第1章和第13章由周求湛执笔，第9章、第11章和第12章由钱志鸿编写，周求湛为主编。吉林大学计算机学院的刘萍萍老师和计算中心的戴宏亮老师编写了部分程序。在本书的编写过程中，参阅了大量的中外相关书籍和网络上的资源，在这里对参考文献的作者一并表示感谢。由于编者水平有限，书中难免有不当之处，恳请读者批评指正。本书得到了吉林省自然科学基金和吉林大学创新基金（23CX38）的资助。索取NI公司的LabVIEW？7评估版软件，可以拨打8-823622免费电话，查询或索取。

编辑这套丛书的初衷是想把近几年来中国的一些有成就、有影响的设计师的作品加以汇总，让读者透过这些作品对中国设计的现状有进一步的认识。在编辑丛书的过程中，在与设计师近距离的交往中，我发现今天的设计师与我们几年前概念中的设计师已经发生了很大的变化。其中一些设计师已从国有企业分离出来，建立了自己的工作室；工作室所涉足的领域变得更为宽泛，他们从平面设计延展到与之相关的各个方面；工作方式也从个体单一性转向多方协作性。随着编辑工作的不断深入，我以为丛书的关注点有必要从对设计师成果的介绍，延伸到对设计工作室全方位的展示，于是《设计时代——国内著名艺术设计工作室创意报告》系列丛书的书名由此产生。

《普通高等学校计算机专业（本科）实用教程系列：编译原理实用教程》共分7章，主要介绍编译程序构造的基本原理和实现方法。内容包括词法分析、形式语言和自动机的基本概念、语法分析、符号表和静态内存分配、语法制导翻译和中间代码产生、目标代码生成；还介绍作者的一些工作成果，如LR分析法在词法分析器自动构造中的应用，语法制导翻译在汇编程序自动构造中的应用。为了方便读者学习，各章都安排了一定数量的习题，并配有习题答案。《普通高等学校计算机专业（本科）实用教程系列：编译原理实用教程》附录中的“课程实习指导”，向读者提供了一个较为完整的、切实可用的编译原理课程实习方案，供有关教师在指导学生进行编译原理课程实习时使用。《普通高等学校计算机专业（本科）实用教程系列：编译原理实用教程》可作为本科院校计算机专业“编译原理”课程的教材，也可供有关教师、研究生以及从事计算机软件设计和开发人员参考。

本书手把手教您学习使用Jakarta Struts——现今最流行的JSP开发框架——建构应用程序，目标是让您迅速起步并快速掌握和使用Struts框架。本书是一本容易上手的书，包括大量的应用示例和代码片段。全书从对Struts及其Model-View-Controller（MVC）架构的探讨开始，通过丰富的示例应用演练，本着阐述实用方法、全面覆盖Struts所有组件的原则，展示了Struts的强大功能。主要内容包括实际使用Struts标记库——HTML、JavaBean、逻辑操作等的原则与实践；如何使用Struts和JBoss完成同EJB的集成；如何使用Apache Axis发布并使用Web服务；如何使用JUnit等工具调试和测试Struts应用等Struts开发的方方面面，非常适合Struts开发者初学入门。 James Turner是Black Bear软件有限公司的经理。曾在多家IT组织任职，包括MIT（麻省理工）、Xerox （施乐）、Solbourne Computer、BBN Planet 和Interleaf。他曾经管理并实现了众多电子商务Web站点，包括CVS、The Christian Science Monitor 和 Woolworths UK。James 的作品发表在Web Developer's Journal、The Christian Science Maonitor、WIRED等刊物上。之前他还撰写了MySQL and Web Applications ：Data Driven Programming Using Tomcat and MySQL一书，由Sams出版社于2002年出版。Kevin Bedell是一位经验丰富的软件专家，对Web 开发、系统的设计/开发/架构有多年的专业经验。他获得了Sun公司的Java程序员认证以及微软的MCSE认证。目前致力于J2EE应用、XML和Web服务的开发与研究。

本书以作者在剑桥大学和Aarhus大学的讲座内容为基础，主要针对计算机科学专业和数学专业的本科生和研究生而编写，可作为开始学习形式化和推导程序设计语言的方法的教材。本书介绍了必要的数学背景知识，读者可以运用它们去创造、形式化和证明一些规则，使用这些规则可推导各种各样的程序设计语言。本书的内容是基础的，但其中有一些主题来自于最近的研究。书中包含了丰富的从简单到复杂的练习。本书首先介绍集合论基础，接着是结构化操作语义，并将其作为定义程序设计语言含义的一种方式，同时也介绍了一些基本的证明技术。对指称语义和公理语义是以一个简单的while程序语言为例进行说明的，并给出了操作语义和指称语义之间等价的完整证明，以及公理语义的可靠性和相对完备性，也包括哥德尔不完备性定理的一个证明。该定理强调公理语义不可能达到绝对的完备性，这一结论可以从附录中得到支持，附录基于while程序介绍了可计算性理论。在域论之后，介绍了指称语义的基础，论述了几种函数式语言的语义和证明方法。最简单的函数式语言是既可以传值调用也可以传名调用求值的递归方程。这些研究工作可以进一步扩展到含有高阶类型和递归类型的语言，其中包括对活性和惰性入演算的论述。本书始终强调指称语义和操作语义的联系，并给出它们的一致性证。本书较高深的部分之一是递归，类型的论述，它要利用信息系统来表示域。在最后一章里介绍了并行程序设计语言，并讨论了不确定性和并行程序的验证方法。