Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN:3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
ELECTROCHEMICAL SURFACE SCIENCE MOLECULAR PHENOMENA AT ELECTRODE SURFACES
MANUEL P. SORIAGA2222 年出版553 页ISBN: