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
ADVANCES IN ENVIRONMENTAL SCIENCE AND TECHNOLOGY VOLUME 3
JAMES N.PITTS1974 年出版386 页ISBN：0471690864
ADVANCES IN NUCLEAR SCIENCE AND TECHNOLOGY VOLUME 3
PAUL GREEBLER J.HENLEY2222 年出版400 页ISBN：
Processing fruits science and technology; volume1 : biology
principles2222 年出版0 页ISBN：
ADVANCES IN CORROSION SCIENCE AND TECHNOLOGY VOLUME 5
MARS G.FONTANA AND ROGER W.STAEHLE1976 年出版398 页ISBN：
ADVANCES IN ENVIRONMENTAL SCIENCE AND TECHNOLOGY VOLUME 4
JAMES N.PITTS AND ROBERT L.METCALF1974 年出版383 页ISBN：0471690872
High-Pressure Science and Technology Volume 1
K.D.Timmerhaus and M.S.Barber1979 年出版1053 页ISBN：0306400669
