Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
MATHEMATICAL METHODS FOR HYDRODYNAMIC LIMITS
1991 年出版196 页ISBN:3540550046;0387550046
Spectroscopic Methods For Nanomaterials Characterization
Thomas2017 年出版424 页ISBN: