Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna

LOPSTR 20062007 年出版236 页ISBN：9783540714095

Lecture Notes in Artificial Intelligence 4457 Engineering Societies in the Agents World VII 7th Inte

ESAW 20062007 年出版401 页ISBN：9783540755227

Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S

FMCO 2006 Amsterdam2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat

RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731

Lecture Notes in Computer Science 4699 Applied Parallel Computing State of the Art in Scientific Com

PARA 20062007 年出版1192 页ISBN：9783540757542

Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys

TACAS 20062006 年出版506 页ISBN：3540330569

Lecture Notes in Computer Science 4319 Advances in Image and Video Technology First Pacific Rim Symp

PSIVT 20062006 年出版1347 页ISBN：9783540682974

Lecture Notes in Artificial Intelligence 4088 Agent Computing and Multi-Agent Systems 9th Pacific Ri

PRIMA 20062006 年出版827 页ISBN：3540367071

Lecture Notes in Computer Science 4237 Communications and Multimedia Security 10th IFIP TC-6 TC-11 I

CMS 20062006 年出版251 页ISBN：3540478205

Lecture Notes in Computer Science 4385 Task Models and Diagranms for Users Interface Design 5th Inte

TAMODIA 20062007 年出版355 页ISBN：9783540708155