Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Lecture Notes in Computer Science 4405 Agent-Oriented Software Engineering VII 7th International Wor
AOSE 20062007 年出版224 页ISBN：9783540709442
Lecture Notes in Artificial Intelligence 3371 Intelligent Agents and Multi-Agent Systems 7th Pacific
PRIMA 20042005 年出版329 页ISBN：3540253408
Lecture Notes in Computer Science 3112 Key Technologies for Data Management 21st British National Co
BNCOD 212004 年出版264 页ISBN：3540223827
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
Lecture Notes in Artificial Intelligence 3690 Multi-Agent Systems and Applications IV 4th Internatio
CEEMAS 20052005 年出版667 页ISBN：354029046X
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
Lecture Notes in Computer Science 2254 Engineering for Human-Computer Interaction 8th IFIP Internati
EHCI 20012001 年出版359 页ISBN：354043044X
