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 3079 High Speed Networks and Multimedia Communications 7th IEEE In

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

HSNM 20042004 年出版1103 页ISBN：3540222626

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 2097 Advances in Databases 18th British National Conference on Dat

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

BNCOD 182001 年出版218 页ISBN：354042265X

Lecture Notes in Computer Science 197 Seminar on Concurrency Carnegie-Mellon University Pittsburgh

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

1985 年出版0 页ISBN：

Lecture Notes in Computer Science 300 ESOP'88 2nd European Symposium on Programming Nancy

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

1988 年出版0 页ISBN：

Lecture Notes in Computer Science 1664 CONCUR'99 Concurrency Theory 10th International Conference Ei

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

1999 年出版0 页ISBN：

Lecture Notes in Computer Science 3081 Digital Cities III Information Technologies for Social Capita

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

2005 年出版436 页ISBN：3540253319