MANUAL OF CLINICAL PROBLEMS IN CARDIOLOGY WITH ANNOTATED KEY REFERENCES SECOND EDITION
L.DAVID HILLIS BRIAN G.FIRTH JAMES T.WILLERSON1984 年出版393 页ISBN:0316364010
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156