Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop

下载此书RAR压缩包在线购买PDF电子书

WS-FM 20062006 年出版289 页ISBN：3540388621

Lecture Notes in Computer Science 3532 The Semantic Web:Research and Applications Second European Se

下载此书RAR压缩包在线购买PDF电子书

ESWC 20052005 年出版730 页ISBN：3540261249

Lecture Notes in Computer Science 3053 The Semantic Web:Research and Applications First European Sem

下载此书RAR压缩包在线购买PDF电子书

ESWS 20042004 年出版492 页ISBN：3540219994

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

下载此书RAR压缩包在线购买PDF电子书

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

EMOTIONAL AND ETHICAL CHALLENGES FOR FIELD RESEARCH IN AFRICA THE STORY BEHIND THE FINDINGS

下载此书RAR压缩包在线购买PDF电子书

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

下载此书RAR压缩包在线购买PDF电子书

W.Richard Bowen2009 年出版283 页ISBN：

文件的科学检验：方法与技术 （第3版） = scientific examination of documents：methods and techniques （third edition）

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION，STRUCTURE AND REACTIVITY OF PROTEI

下载此书RAR压缩包在线购买PDF电子书

P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN：

REPORT OF THE TECHNICAL CONSULTATION ON ACOUSTIC METHODS FOR FISH DETECTION AND ABUNDANCE ESTIMATION

下载此书RAR压缩包在线购买PDF电子书

1983 年出版94 页ISBN：

ADVANCES IN SCIENCE AND TECHNOLOGY IN THE USSR CATALYST SURFACE: PHYSICAL METHODS OF STUDYING

下载此书RAR压缩包在线购买PDF电子书

1990 年出版375 页ISBN：0849375320