ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING
1990 年出版375 页ISBN:0849375320
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN:3540472371
INTERNATIONAL SCIENCE AND TECHNOLOGY COOPERATION IN A GLOBALIZED WORLD:THE EXTERNAL DIMENSION OF THE
HEIKO PRANGE GSTOHL2009 年出版248 页ISBN:9781849801645