Lecture Notes in Computer Science 4294 Service-Oriented Computing-ICSOC 2006 4th International Confe
2006 年出版656 页ISBN:9783540681472
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN:3540248439
Lecture Notes in Computer Science 2900 CASL User Manual Introduction to Using the Common Algebraic S
2004 年出版240 页ISBN:354020766X
Lecture Notes in Computer Science 2982 Active Networks IFIP-TC6 5th International Working Conference
IWAN 20032004 年出版308 页ISBN:3540212507
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN:3540230920
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN:9783540729198
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN:3540389903