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 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con

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

2007 年出版631 页ISBN：9783540749738

Lecture Notes in Computer Science 3992 Computational Science-ICCS 2006 6th International Conference

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

UK2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3993 Computational Science-ICCS 2006 6th International Conference

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

UK2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3991 Computational Science-ICCS 2006 6th International Conference

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

UK2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3994 Computational Science-ICCS 2006 6th International Conference

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

UK2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3096 Advances in Learning Software Organizations 6th International

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

LSO 20042004 年出版173 页ISBN：3540221921

Lecture Notes in Computer Science 2363 Intelligent Tutoring Systems 6th International Conference

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

ITS 20022002 年出版0 页ISBN：

Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference

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

IFM 20072007 年出版660 页ISBN：9783540732099

Lecture Notes in Computer Science 3541 Multiple Classifier Systems 6th International Workshop

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

MCS 20052005 年出版430 页ISBN：3540263063