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
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
STATISTICAL METHODS FOR META ANALYSIS
LARRY V.HEDGES1985 年出版369 页ISBN:0123363802
Quantitative methods for financial analysis
cedited by Stephen J. Brown1987 年出版229 页ISBN:
Civil Liability for Environmental Damage Comparative Analysis of Law and Policy in Europe and the US
Mark Wilde2013 年出版344 页ISBN:9789041132338
A Guide To Mathematical Methods For Physicists With Problems and Soultions
Michela Petrini2017 年出版328 页ISBN: