Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc

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

Communication2006 年出版0 页ISBN：

Lecture Notes in Computer Science 3273 < 2004-The Unified Modeling Language Modeling Languages and A

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

Portugol2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3290 On the Move to Meaningful Internet Systems 2004:CoopIS

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

DOA2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3578 Intelligent Data Engineering and Automated Learning-IDEAL 200

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

2005 年出版599 页ISBN：354026972X

Lecture Notes in Computer Science 4804 On the Move to Meaningful Internet Systems 2007:CoopIS

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

DOA2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School

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

Communication2005 年出版271 页ISBN：

Lecture Notes in Computer Science 4809 Emerging Direction in Embedded and Ubiquitous Computing EUC 2

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

WSOC2222 年出版0 页ISBN：

Lecture Notes in Computer Science 3174 Advances in Neural Networks-ISNN 2004 International Symposium

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

China2004 年出版0 页ISBN：

Lecture Notes in Computer Science 3807 Web Information Systems Engineering-WISE 2005 Workshops WISE

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

2005 年出版275 页ISBN：354030018X

Lecture Notes in Computer Science 4803 On the Move to Meaningful Internet Systems 2007:CoopIS

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

DOA2222 年出版0 页ISBN：