Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con

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

TPHOLs 20052005 年出版409 页ISBN：3540283722

Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy

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

IDA 20052005 年出版522 页ISBN：3540287957

Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International

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

WAIM 20042004 年出版753 页ISBN：3540224181

Lecture Notes in Computer Science 3498 Advances in Neural Networks-ISNN 2005 Second International Sy

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

Jun Wang2005 年出版1077 页ISBN：

Lecture Notes In Computer Science 3118 Computers Helping People With Special Needs 9th International

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

ICCHP 20042222 年出版0 页ISBN：

Lecture Notes in Computer Science 3293 Web Content Caching and Distribution 9th International Worksh

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

WCW 20042004 年出版285 页ISBN：3540235167

Lecture Notes in Computer Science 3489 Component-Based Software Engineering 8th International Sympos

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

CBSE 20052005 年出版358 页ISBN：3540258779

Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work

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

HSCC 20062006 年出版583 页ISBN：3540331700

Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works

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

FATES 20052006 年出版218 页ISBN：3540344543

Lecture Notes in Computer Science 3892 DNA Computing 11th International Workshop on DNA Computers

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

DNA112006 年出版440 页ISBN：3540341617