ANALYSIS AND DESIGN OF ADVANCED ENERGY SYSTEMS:COMPUTER-AIDED ANALYSIS AND DESIGN
M.J.MORAN1987 年出版86 页ISBN：
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
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
SYSTEMS ANALYSIS BY GRAPHS AND MATROIDS STRUCTURAL SOLVABILITY AND CONTROLLABILITY
1987 年出版284 页ISBN：3540176594
SYSTEMS ANALYSIS AND DESIGN FOR COMPUTER APPLICATIONS
D.MILLINGTON1981 年出版224 页ISBN：
