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

Communication2006 年出版0 页ISBN：

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

Portugol2004 年出版0 页ISBN：

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

DOA2222 年出版0 页ISBN：

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

2005 年出版599 页ISBN：354026972X

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

DOA2222 年出版0 页ISBN：

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

Communication2005 年出版271 页ISBN：

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

WSOC2222 年出版0 页ISBN：

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

China2004 年出版0 页ISBN：

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

2005 年出版275 页ISBN：354030018X

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

DOA2222 年出版0 页ISBN：