Lecture Notes in Computer Science 4444 Program Analysis and Compilation
Theory and Practice Essays Dedicated to Reinhard Wilhelm in the Occasion of His 60th Birthday2007 年出版361 页ISBN：9783540713159
Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN：3540266550
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3211 Image Analysis and Recognition International Conference
ICIAR 2004 Part I2004 年出版880 页ISBN：3540232230
Lecture Notes in Computer Science 3212 Image Analysis and Recognition International Conference
ICIAR 2004 Part II2004 年出版862 页ISBN：3540232400
Lecture Notes in Computer Science 4577 Multimedia Content Analysis and Mining International Workshop
MCAM 20072007 年出版513 页ISBN：9783540734161
