NUMERICAL METHODS AN INTRODUCTION WITH APPLICATIONS USING MATLAB SECOND EDITION SI VERSION
AMOS GILAT VISH SUBRAMANIAM2011 年出版460 页ISBN：0470873748
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
INTRODUCTION TO COMPUTER SYSTEMS USING THE PDP-11 AND PASCAL
1979 年出版462 页ISBN：0070443505
An analytical approach to evidence
Ronald J. Allen2016 年出版1069 页ISBN：9781454862987
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：
