Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference

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

CAV 20042004 年出版536 页ISBN：3540223428

Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference

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

CAV 20052005 年出版564 页ISBN：3540272313

Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference

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

CAV 20072007 年出版562 页ISBN：9783540733676

Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference

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

CAV 20062006 年出版564 页ISBN：354037406X

核军备控制核查技术概论=AN LNTRODUCTION OF VERIFICATION TECHNOLOGY OF NUCLEAR ARMS CONTROL

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

刘成安2007 年出版0 页ISBN：

核军备控制核查技术概论=an introduction of verification technology of nuclear arms control

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

刘成安2007 年出版0 页ISBN：

HANDBOOK OF DISASTER POLICIES AND INSTITUTIONS IMPROVING EMERGENCY MANAGEMENT AND CLIMATE CHANGE ADA

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

JOHN HANDMER AND STEPHEN DOVERS2013 年出版200 页ISBN：9781849713504

Lecture Notes in Computer Science 3975 Hardware and Software Verification and Testing First Internat

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

Israel2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int

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

ATVA 20042004 年出版506 页ISBN：3540236104

Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte

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

ATVA 20052005 年出版506 页ISBN：3540292098