Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
NUMERICAL ANALYSIS FOURTH EDITION
RICHARD L.BURDEN J.DOUGLAN FAIRES1989 年出版729 页ISBN：053491585X
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
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
MICROCOMPUTERS IN NUMERICAL ANALYSIS
G.R.LINDFIELD AND J.E.T.PENNY2222 年出版455 页ISBN：0470214155
FRONTIERS IN NUMERICAL ANALYSIS
JAMES F.BLOWEY ALAN W.CRAIG TONY SHARDLOW2222 年出版353 页ISBN：3540443193
