初等数论九章：第二版

本书是初等数论的引论，供大学数学系高年级学生用作一学期的教材，其前身是作者在美国Providence学院和西点军校的讲稿。第二版对原版作了全面增订，增加了历史材料，强调了初等数论的应用，并添加了375道习题。     

糠偶酰的合成

以糠醛为原料，VB1为催化剂，采用安息香缩合反应合成糠偶姻，并利用硫酸铜-吡啶氧化其为糠偶酰．给出较好的实验条件，使合成糠偶酰的产率从37％提高到90％．利用元素分析、GC－Mass联用、IR和UV谱等手段，对所合成的糠偶姻及糠偶酰进行分析表征.     

用Protel实现异步时序逻辑电路的仿真

利用计算机软件（Protel）进行数字电路的仿真，是电路设计方法和方式的一次革命，它使得电路设计工作更加快捷、准确、经济．以Altium公司推出的Protel99SE为基础，从功能结构、工作原理、电路仿真测试等几方面，介绍用Protel实现异步时序逻辑电路的仿真．     

应用最优化：工程系统的表述与算法

将一个问题用数值表示其出发点是抓住问题本身的直观思想并且转换为恰当的数学语言。本书采用逐步深入的方法刻划如何表述数学问题，通过这种描述人们可以应用现有的软件去解决它。作者根据数值问题的不同类型论述了求解的技术，通过许多来自工程技术领域的典型实例详细地解说了问题由直观叙述到易于控制的数值形式的转换过程，特别包含了许多有效算法。     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

图书馆信息服务存在的几个问题

图书馆信息服务中存在着时机问题、动力问题、资金问题和人才问题等，解决此问题应加快图书馆信息服务进程。     

MATLAB入门：第二版适用于初高级用户

本书简明扼要地介绍了MATLAB7．0系统。主要内容包括MATLAB命令；MATLAB程序设计；图形、图表、图像模板；方程求解函数和丰富多彩的快捷界面。这些命令对低版本和高版本的MATLAB同样适用。数学计算与文本、图形相结合，形成新颖完整的交互式文件是MAT—LAB7．0的新特点。书中介绍的内容既兼顾了初学者，又顾及了熟悉MATLAB早期版本的用户。