Supercritical Fluids Fundamentals and Applications
2000 年出版596 页ISBN:0792362365
Lecture Notes in Computer Science 3687 Pattern Recognition and Image Analysis Third International Co
ICAPR 20052005 年出版809 页ISBN:3540288333
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098