Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern

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

ATVA 20062006 年出版540 页ISBN：3540472371

Lecture Notes in Artificial Intelligence 3346 Programming Multi-Agent Systems Second International W

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

2005 年出版249 页ISBN：3540245596

Lecture Notes in Artificial Intelligence 3632 Automated Deduction-CADE-20 20th International Confere

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

Estonia2005 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 4603 Automated Deduction-CADE-21 21st International Confere

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

Germany2007 年出版0 页ISBN：

Lecture Notes in Artificial Intelligence 3862 Programming Multi-Agent Systems Third International Wo

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

ProMAS 20052006 年出版267 页ISBN：3540326162

Lecture Notes in Artificial Intelligence 4095 From Aninals to Animats 9 9th International Conference

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

SAB 20062006 年出版869 页ISBN：3540386084

Lecture Notes in Artificial Intelligence 4442 Multi-Agent-Based Simulation VII International Worksho

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

MABS 20062007 年出版188 页ISBN：9783540765363

Lecture Notes in Artificial Intelligence 3891 Multi-Agent-Based Simulation VI INternational Workshop

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

MABS 20052006 年出版190 页ISBN：3540333800

Lecture Notes in Artificial Intelligence 3067 Programming Multi-Agent Systems First International Wo

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

ProMAS 20032004 年出版221 页ISBN：3540221808

Lecture Notes in Artificial Intelligence 3554 Modeling and Using Context 5th International and Inter

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

2005 年出版572 页ISBN：354026924X