Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN：3540261524
Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20062006 年出版300 页ISBN：3540343067
Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20072007 年出版390 页ISBN：9783540723967
Lecture Notes in Computer Science 3011 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20042004 年出版415 页ISBN：354021836X
Lecture Notes in Computer Science 3775 Ambient Networks 16th IFIP/IEEE International Workshop on Dis
DSOM 20052005 年出版281 页ISBN：3540293884
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 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 3258 Principles and Practice of Constraint Programming-CP 2004
2004 年出版822 页ISBN：3540232419
Lecture Notes in Computer Science 4741 Primnciples and Practice of Constraint Programming-CP 2007
2007 年出版890 页ISBN：9783540749691
