Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con

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

TPHOLs 20072007 年出版400 页ISBN：9783540745907

Lecture Notes in Computer Science 4723 Advances in Intelligent Data Analysis VII 7th International S

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

IDA 20072007 年出版380 页ISBN：9783540748243

Lecture Notes in Computer Science 4033 Performability Has its Price 5th International Workshop on In

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

ICQT 20062006 年出版106 页ISBN：3540354565

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 3498 Advances in Neural Networks-ISNN 2005 Second International Sy

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

Jun Wang2005 年出版1077 页ISBN：

Lecture Notes in Computer Science 4053 Intelligent Thtoring Systems 8th International Conference

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

ITS 20062006 年出版821 页ISBN：3540351590

Lecture Notes in Computer Science 3774 Database Programming Languages 10th International Symposium

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

DBPL 20052005 年出版295 页ISBN：3540309519

Lecture Notes in Computer Science 4671 Parallel Computing Technologies 9th International Conference

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

PaCT 20072007 年出版635 页ISBN：9783540739395

Lecture Notes in Computer Science 3792 Software Process Improvement 12th European Conference

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

EuroSPI 20052005 年出版215 页ISBN：3540302867