Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
THE ADVANCED THEORY OF STATISTICS VOLUME 3 DESIGN AND ANALYSIS，AND TIME-SERIES THIRD EDITION
2222 年出版585 页ISBN：0852642393
可靠性·维修性·保障性技术丛书 9 保障性设计分析与评价=DESIGN，ANALYSIS AND EVALUATION OF SUPPORTABILITY
王自力丛书主编2012 年出版0 页ISBN：
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
A BRIDGE BETWEEN CONTROL SCIENCE AND TECHNOLOGY VOLUME 1 ANALYSIS AND SYNTHESIS OF CONTROL SYSTEMS
W.R.PERKINS A.G.J.MACFARLANE G.G.LEININGER2222 年出版580 页ISBN：0080316670
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
Genome-scale algorithm design biological sequence analysis in the era of high-throughput sequencing
Veli Makinen ; Djamal Belazzougui ; Fabio Cunial ; Alexabdeu I. Tomescu2015 年出版391 页ISBN：1107078536
