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
Lecture Notes in Computer Science 3671 Database and XML Technologies Third International XML Databas
XSym 20052005 年出版239 页ISBN:3540285830
X-ray scattering from soft-matter thin films : materials science and basic research
Metin Tolan1999 年出版198 页ISBN:3540651829
ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING
1990 年出版375 页ISBN:0849375320
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN:9783540756637
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
Lecture Notes in Computer Science 4032 Next GGeneration Information Technologies and Systems 6th Int
NGITS 20062006 年出版366 页ISBN:3540354727