Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
PROGRESS IN CLINICAL AND BIOLOGICAL RESEARCH VOLUME 8 CELL SURFACE RECEPTORS
GARTH L.NICOLSON MICHAEL A.RAFTERY MARTIN RODBELL C.FRED FOX2222 年出版520 页ISBN:0845100084