Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern

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

ATVA 20062006 年出版540 页ISBN：3540472371

Lecture Notes in Computer Science 3654 Data and Applications Security XIX 19th Annual IFIP WG 11.3 W

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

2005 年出版353 页ISBN：354028138X

Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I

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

ISSS 20032004 年出版345 页ISBN：354023635X

Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi

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

2006 年出版263 页ISBN：3540333398

Lecture Notes in Computer Science 3449 Applications of Evolutionary Computing EvoWorkshops 2005:EvoC

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

EvoHOT2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4448 Applications of Evolutionary Computing EvoWorkshops 2007:EvoC

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

EvoFIN2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3005 Applications of Evolutionary Computing EvoWorkshops 2004:EvoB

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

EvoCOMNET2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3907 Applications of Evolutionary Computing EvoWorkshops 2006:EvoB

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

EvoCOMNET2222 年出版0 页ISBN：

Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V

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

1995 年出版360 页ISBN：3540606475

Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys

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

TACAS 20052005 年出版588 页ISBN：3540253335