Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE
2005 年出版275 页ISBN:354030018X
SUPRAMOLECULAR SCIENCE:WHERE IT IS AND WHERE IT IS GOING
ROCCO UNGARO AND ENRICO DALCANALE1999 年出版310 页ISBN:079235656X
ENGLISH FOR SCIENCE AND TECHNOLOGY A HANDBOOK FOR NONNATIVE SPEAKERS
THOMAS N.HUCKIN LESLIE A.OLSEN2222 年出版549 页ISBN: