Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN：354045778X
Lecture Notes in Computer Science 3624 Approximation
Randomization and Combinatorial Cptimization Algorithms and Techniques2005 年出版494 页ISBN：3540282394
Lecture Notes in Computer Science 4110 Approximation
Randomization and Combinatorial Optimization Algorithms and Techniques2006 年出版522 页ISBN：3540380442
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 3091 Rewriting Techniques and Applications 15th International Conf
RTA 20042004 年出版311 页ISBN：3540221530
Lecture Notes in Computer Science 2378 Rewriting Techniques and Applications 13th International Conf
RTA 20022002 年出版385 页ISBN：3540439161
Lecture Notes in Computer Science 2051 Rewriting Techniques and Applications 12th International Conf
RTA 20012001 年出版361 页ISBN：3540421173
