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
Princeton Lectures in Analysis III Real Analysis Measure Theory
Integration2005 年出版402 页ISBN:
Civil Liability for Environmental Damage Comparative Analysis of Law and Policy in Europe and the US
Mark Wilde2013 年出版344 页ISBN:9789041132338