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

Lecture Notes in Computer Science 3037 Computational Science-ICCS 2004 4th International Conference

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

Poland2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3036 Computational Science-ICCS 2004 4th International Conference

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

Poland2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3027 Advances in Cryptology-EUROCRPYT 2004 International Conferenc

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

2004 年出版628 页ISBN：3540219358

Lecture Notes in Computer Science 2287 Advances in Database Technology-EDBT 2002 8th International C

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

2002 年出版776 页ISBN：3540433244

Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern

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

ATVA 20072007 年出版566 页ISBN：9783540755951

Lecture Notes in Computer Science 4872 Advances in Image and Video Technology Second Pacific Rim Sym

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

PSIVT 20072007 年出版961 页ISBN：9783540771289

Lecture Notes in Computer Science 4319 Advances in Image and Video Technology First Pacific Rim Symp

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

PSIVT 20062006 年出版1347 页ISBN：9783540682974

Lecture Notes in Computer Science 779 Advances in Database Technology-EDBT'94 4th International Conf

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

United Kingdom1994 年出版406 页ISBN：