Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN:3540388621
Lecture Notes in Computer Science 3532 The Semantic Web:Research and Applications Second European Se
ESWC 20052005 年出版730 页ISBN:3540261249
Lecture Notes in Computer Science 3053 The Semantic Web:Research and Applications First European Sem
ESWS 20042004 年出版492 页ISBN:3540219994
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
EMOTIONAL AND ETHICAL CHALLENGES FOR FIELD RESEARCH IN AFRICA THE STORY BEHIND THE FINDINGS
SUSAN THOMSON,AN ANSOMS AND JUDE MURISON2013 年出版169 页ISBN:1137263741
ATOMIC FORCE MICROSCOPY IN PROCESS ENGINEERING INTRODUCTION TO AFM FR IMPR OVED PROCESSES AND PRODUC
W.Richard Bowen2009 年出版283 页ISBN:
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION,STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN:
ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING
1990 年出版375 页ISBN:0849375320