暂缺简介...

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

全书共分9章，第1章首先论述了ActiveX控件的技术和特点，然后详细介绍了如可使用第三方提供的ActiveX控件，并通过一个完整的ActiveX控件，对控件的属性、方法和事件进行了说明。第2章到第8章分别介绍了图像相关的ActiveX控件、界面相关的ActiveX控件、Bar类的ActiveX控件、多媒体相关的ActiveX控件、数据库相关的ActiveX控件、网络相关的ActiveX控件和其他方面ActiveX控件。在每个控件的单元中详细介绍了该控件的属性、方法和事件，并适当地插入了一些使用示例，以帮助读者进一步领会其含义和使用方法。一个好的程序员，不但要会用，更要会自己写。有空多研究一下优秀控件的源码，对水平的提高是大有帮助的，也能更加深入地理解向对象编程的机制。在第9章，介绍了定制ActiveX控件的基本方法，通过用ActiveX控件向导创建自己的ActiveX控件，使读者能够根据自己的需求定制自己的ActiveX控件，同时也对ActiveX控件深入编程做了介绍。

《汇编语言程序设计实验教程》汇编语言是一门实验性极强的课程。课堂的理论教学，仅能使学生掌握程序设计的基本理论、方法与技巧，而要深刻理解，融会贯通理论教学内容，则必须经过大量的上机实验，通过实验使学生充分发挥自己的聪明才智，学到课堂上无法学到的编程、调试程序的技巧与方法，取得举一反三的效果。

本书详细介绍了莲花公司的Notes 6系统，内容涉及Notes 6用户操作的方方面面。全书分为三部分：第一部分介绍Notes的基础知识，通过这部分的学习，读者将能够认识Notes的基本环境与操作，而且在需要帮助时寻求帮助信息；第二部分介绍与数据库相关的操作，说明了数据库的创建，文档的创建（文本、表格、折叠区段、链接、热点），附件的使用，文档之间的信息共享，Notes信息的打印；第三部分介绍通讯、管理与安全保护方面的知识，内容涉及邮件的收发、撰写和管理，Notes移动用户的操作，访问Internet，时间、任务和个人通讯录的管理，信息搜索和安全保护。本书内容丰富，层次清晰，适用于初中级Notes用户，也适用于各种Notes用户培训班。

Turbo码是继1982年TCM技术提出以来信息和编码领域最重大的研究成果。本书主要介绍Turbo码的原理及其应用技术。在介绍Turbo码的基本编码和译码原理及译码算法的基础上，详细介绍了Turbo码的特点、分析方法、分量码和交织器等关键部件的设计，对Turbo迭代译码的原理和收敛性以及迭代停止准则等内容进行了深入剖析，并对Turbo迭代原理用于信道估计、迭代均衡以及信号同步等方面的内容进行了重点介绍。本书以介绍Turbo编码技术的基本思想和原理为基础，既有基本概念的分析和解释，又注重重要理论的推导和仿真实验的验证，在内容编排上力求使读者明确了解和学习这些技术的理论意义和应用价值。本书可作为大专院校信息技术各专业的高年级本科生、研究生、教师以及科研院所从事纠错码研究和希望了解及掌握Turbo码最新技术的科研技术人员的参考书。

在计算机世界中，CORBA和JBeans正融合在一起。本书将带你探索这一领域，不管是有个性的Java程序员，还是分布式对象专家，本书都向你提供了在对象Web的客户/服务器解决方案中综合使用这两项技术的程序设计知识，在本书中，我们将探讨对象网络的两个核心技术：Java和CORBA/IIOP。本书是一本用CORBA和Java编写客户/服务器程序的教程，也是一本将CORBA、JavaBeans和JDBC贯穿于客户/服务器系统的书。书中用大量篇幅讨论了以前未知的领域。全书共分为八个部分，首先概述了CORBA和Java都能为对方做些什么，解释了3层对象网络客户/服务器模型和关于CORBA/IIOP的知识，然后探讨了CORBA/Java编程模型。通过使用新的可移植服务器端CORBAAPI和标准CORBA命名服务重新编写Count程序来进行讨论，并展示了怎样去编写CORBA动态对象工具。接下来对CORBA/Java和它的竞争者进行了比较，内容包括：1）传统的Internet中间件，如Java套接字、Servlet和CGI/HTTP；2）非CORBAJavaORB，如JavaSoft的RMI和Microsoft的DCOM。本书也介绍了“现有的”CORBA，说明了CORBA接口池、内省功能、CORBA激活服务、新的CORBAIDL-to-Java映射、JavaBeans组件模型等。本书适合于所有类别的程序员，以及正在考虑在他们的平台上使用CORBA、JavaBeans和EnterpriseJavaBeans的客户/服务器结构设计师。

《数控编程技术》以数控加工工艺、编程技术与数控机床操作为核心内容，分别介绍数控编程基础、数控编程中的工艺分析、数控编程中的数学处理、数控车削加工编程、数控铣削加工编程、加工中心编程、电火花切割加工编程及自动编程等。《数控编程技术》在内容选择上，突出了普遍性、实用性、综合性和先进性的特点。注重讲解不同数控系统之间的差别与联系，并配有大量的典型实例，内容丰富。《数控编程技术》可作为高等职业教育机电类专业中从事数控技术应用、CAD/CAM技术应用和模具设计与制造人员的培训用书或教材。还可供从事数控加工的工程技术人员参考。

这是关于金字塔算法的惟一一本著作。金字塔算法是一种相当有效的方法，它运用一种基于金字塔式递推的动态编程方法，可以理解、分析和计算计算机辅助几何设计中最普遍的多项式和样条曲线曲面等问题。金字塔式递推算法在显示算法的整体结构上有明显的优势，可以很容易看出它们之间的联系，且学习这种方法只要求具备微分几何学和线性代数学的基础知识以及简单的编程技巧。阅读完本书后，势必会改变读者进行计算机辅助几何设计的思路以及具体的实现方式。Goldman博士于麻省理工学院获理学学士学位，于约翰斯·霍普金斯大学获硕士和博士学位。作为教学家、设计工程师和顾问解决了工业中计算机制图、几何建模和计算机辅助几何设计等方面的许多实际问题。吴宗敏，复旦大学数学系教授、博士生导师、“长江学者”特聘教授、国家杰出青年基金获得者。1986年在原联邦德国哥廷根大学数学获理学与自然科学博士学位。现任复旦大学数学系主任、上海市现代应用数学重点实验室主任，上海市数学学会秘书长。从事计算机辅助几何设计、散乱数据拟合、多元逼近论、微分方程数值解的研究。本书是金字塔算法方面的惟一一本著作。作者Goldman博士是世界上最杰出的计算机辅助几何设计的学术研究者之一并具有丰富的实践经验。书中介绍了计算机辅助几何设计的基本概念、方法、它们的内在联系，以及曲线曲面几何模型的动态编程处理的具体细节，涉及贝齐尔曲线曲线、B-样条、开花和各种贝齐尔曲面片。本书的讲解浅显易懂，并且每一部分都带有理论和实践方面的习题，对书中讲解的知识点进行了有力的补充。全书的内容安排由浅入深、循序渐进、通俗易懂，阅读完本书后读者会豁然开朗，发现计算机辅助几何设计及其实现途径原来如此简单。此书以其作者之权威、内容之重要，确实可以和金字塔相媲美。本书可供计算机科学、工程学、数学等领域的理论学者与实际应用人员，以及计算机专业本科高年级的学生及研究生参考阅读。

《有限单元法及程序设计（第2版）（配光盘）》作为入门读物，介绍有限单元法的基本原理及程序设计的方法和技巧。全书内容主要包括三个部分。第一篇讲述杆件结构的有限单元法及程序设计；第二篇讲述弹性力学平面问题的有限单元法及程序设计；第三篇简介相关的数字基础知识。书后光盘附有计算软件。《有限单元法及程序设计（第2版）（配光盘）》可作为土建、水利、道桥等各专业的教材，也可供有关专业工程技术人员参考和使用。