Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna
LOPSTR 20042005 年出版277 页ISBN：3540266550
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 3015 Passive and Active Network Measurement 5th International Work
PAM 20042004 年出版300 页ISBN：3540214925
Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN：3540424997
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 4685 Grid Economics and Business Models 4th International Workshop
GECON 20072007 年出版201 页ISBN：9783540744283
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4605 Advances in Spatial and Temporal Databases 10th International
SSTD 20072007 年出版479 页ISBN：9783540735397
Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice
ASM 20042004 年出版235 页ISBN：3540220941
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
