Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
封建湖等编2003 年出版267 页ISBN:7561216424
本书主要参考了现行的《数值分析》教材的内容,从教学、学习和应试考研的角度出发编写的辅导书。可供工科本科生和相关读者阅读参考。
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Limit theorems for stochastic processes Second Edition = 随机过程用的极限定理 第2版
Jean Jacod ; Albert N. Shiryaev2013 年出版664 页ISBN:7510061387