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 3263 Object-Oriented and Internet-Based Tecchnologies 5th Annual I

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

Concepts2004 年出版0 页ISBN：

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 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I

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

2006 年出版440 页ISBN：3540346996

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

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

TACAS 20052005 年出版588 页ISBN：3540253335