MATHEMATICAL PROGRAMS WITH EQUILIBRIUM CONSTRAINTS
ZHI-QUAN LUO1996 年出版401 页ISBN：
Administration of school health programs
its theory and practice2222 年出版0 页ISBN：
Numerical Linear Algebra and Its Applications=数值线性代数及其应用
金小庆 ; 魏益民2014 年出版188 页ISBN：7030139542
本书是为大学数学系信息与计算专业本科生编写的《数值代数》课英文版教材。全书共分九章，内容包括：引言；求解线性方程组的直接解法；扰动和误差分析；最小二乘问题；经典迭代法；Krylov子空间方法；非对称特征值问题......
PROLOG PROGRAMMING:A TUTORIAL INTRODUCTION
CARLTON MCDONALD MASOUD YAZDANI2222 年出版210 页ISBN：0632012463
（美）（S.R.戴维斯）Stephen R.Davis著；希望图书创作室译1999 年出版702 页ISBN：7980021460
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
