Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
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
Ceramic materials for energy applications II a collection of papers presented at the 36th Internatio
January 22-272222 年出版0 页ISBN：
structures and mechanical engineering selected2222 年出版0 页ISBN：
structures and mechanical engineering selected2222 年出版0 页ISBN：
MECHANICAL AND STRUCTURAL ENGINEERING2016 年出版398 页ISBN：9781138029088
mechanics and industrial engineering selected2222 年出版0 页ISBN：
