Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pier

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

2007 年出版273 页ISBN：9783540731467

Lecture Notes in Computer Science 3135 Transactions on Rough Sets II Rough Sets and Fuzzy Sets

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

2004 年出版363 页ISBN：3540239901

Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

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

2002 年出版218 页ISBN：3540433767

LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6

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

G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453

Lecture Notes in Artificial Intelligence 4411 Programming Multi-Agent Systems 4th International Work

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

ProMAS 20062007 年出版249 页ISBN：9783540719557

Lecture Notes in Artificial Intelligence 3030 Agent-riented Information Systems 5th International Bi

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

AOIS 20032004 年出版206 页ISBN：3540221271

Lecture Notes in Computer Science 4393 STACS 2007 24th Annual Symposium on Theoretical Aspects of Co

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

Germany2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3149 Euro-Par 2004 Parallel Processing 10thInternational Euro-Par

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

Italy2004 年出版0 页ISBN：

Lecture Notes in Computer Science 2996 STACS 2004 21st Annual Symposium on Theoretical Aspects of Co

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

France2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3404 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Co

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

Germany2005 年出版0 页ISBN：