PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
INTRODUCTION TO BASIC PROGRAMMING A STRUCTURED APPROACH SECOND EDITION
1980 年出版438 页ISBN：0395327504
INTRODUCTION TO SIMULATION Programming Techniques and Methods of Analysis
1982 年出版324 页ISBN：0070489459
INTRODUCTION TO SENSITIVITY AND STABILITY ANALYSIS IN NONLINEAR PROGRAMMING
ANTHONY V.FIACCO1983 年出版367 页ISBN：
CAMBRIDGE TEXTS IN APPLIED MATHEMATICS INTRODUCTION TO NUMERICAL LINEAR ALGEBRA AND OPTIMISATION
1982 年出版436 页ISBN：0521327881;0521339847
Introduction to Distributed Algorithms(Second Edition)
[荷]Getatd Tel 著2003 年出版596 页ISBN：750538810X
分布式算法20多年来一直是倍受关注的主流方向。本书第二版不仅给出了算法的最新进展，还深入探讨了与之相关的理论知识。这本教材适合本科高年级和研究生使用，同时，本书所覆盖的广度和深度也十分适合从事实际工...
FINITE ELEMENT METHODS：ACCURACY AND IMPROVEMENT
QUN LIN JIAFU LIN2222 年出版320 页ISBN：7030166566
本书首先建立有关插值的积分展开式，然后利用后处理插值，来提高有限元方法的精度。
JavaScript编程精解 书名原文：ELOQUENT JAVASCRIPT:A MODERN INTRODUCTION TO PROGRAMMING
（美）Marijn Haverbeke著2012 年出版0 页ISBN：
