Lecture Notes in Computer Science 3643 Computer Aided Systems Theory-EUROCAST 2005 10th Internationa

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

Spain2005 年出版0 页ISBN：

Lecture Notes in Computer Science 4739 Computer Aided Systems Theory-EUROCAST 2007 11th Internationa

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

Spain2007 年出版0 页ISBN：

Lecture Notes in Computer Science 4137 CONCUR 2006-Concurrency Theory 17th International Conference，

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

2006 年出版523 页ISBN：3540373764

Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，

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

2007 年出版507 页ISBN：9783540744061

Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，

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

2005 年出版578 页ISBN：3540283099

Lecture Notes in Computer Science 3170 CONCUR 2004-Concurrency Theory 15th International Conference

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

UK2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio

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

Communication and Systems2004 年出版295 页ISBN：

Lecture Notes in Computer Science 3882 Database Systems for Advanced Applications 11th International

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

DASFAA 20062006 年出版923 页ISBN：3540333371

Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International

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

DASFAA 20052005 年出版929 页ISBN：3540253343

Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge

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

INAP 20042005 年出版309 页ISBN：3540255605