Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International

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

ISOLA 20042006 年出版197 页ISBN：9783540489283

Lecture Notes in Computer Science 3747 Dependable Computing Second Latin-American Symposium

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

LADC 20052005 年出版267 页ISBN：3540295720

Interdisciplinary Mathematical Sciences Volume 1 Global Attractors of Non-Autonomous Dissipative Dyn

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

Jinqiao Duan2004 年出版502 页ISBN：

68/69 Advances in Polymer Science Cationic Ring-Opening Polymerization 2.Synthetic Applications

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

S.Penczek2222 年出版317 页ISBN：

Springer Series in Solid-State Sciences 51:Phonon Scattering in Condensed Matter

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

W.Eisenmenger1984 年出版472 页ISBN：

中华人民共和国国家标准 GB/T17903.1-2008/ISO/IEC13888-1:2004 信息技术 安全技术 抗抵赖第1部分:概述=Information technology-Sec

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T17903.1-2008/ISO/IEC13888-1:2004 信息技术 安全技术 密钥管理第1部分:框架=Information technology-Se

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

2222 年出版0 页ISBN：

中华人民共和国国家标准 GB/T20987-2007 信息安全技术 网上证卷交易系统信息安全保障评估准则=Information security technology-Evaluation c

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

2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys

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

CLEF 2003 Trondheim2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3510 Wired/Wireless Internet Communications Third International Co

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

WWIC 20052005 年出版366 页ISBN：354025899X