Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN：
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3219 Computer Safety
Reliability2004 年出版0 页ISBN：
IDENTIFICATION OF PLANT VIRUSES METHODS VIRUSES METHODS & EXPERIMENTS
D.NOORDAM1973 年出版210 页ISBN：9022004643
HANDBOOK OF PHYCOLOGICAL METHODS DEVELOPMENT AND CYTOLOGICAL METHODS
ELISABETH GANTT2222 年出版425 页ISBN：0521224667
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
THE ETC PROGRAM A COMPETENCY-BASED READING/WRITING BOOK 3：AN IMMIGRATION STORY
ELAINE KIRN SHANTI ISABEL PEDERSON1988 年出版138 页ISBN：
THE ETC PROGRAM A COMPETENCY-BASED LISTENING/SPEAKING BOOK 3：AN IMMIGRATION STORY
ELAINE KIRN BERNICE M.BLOCH1988 年出版125 页ISBN：
Lecture Notes in Computer Science 3766 Computer Vision in Human-Computer Interaction ECCV 2005 Works
2005 年出版231 页ISBN：3540296204
