Lecture Notes in Computer Science 4719 Datatype-Generic Programming International Spring School
SSDGP 20062007 年出版369 页ISBN:9783540767855
Lecture Notes in Computer Science 3286 Generative Programming and Component Engineering Third Intern
GPCE 20042004 年出版491 页ISBN:3540235809
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN:3540297359
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN:9783540489375
Lecture Notes in Computer Science 3676 Generative Programming and Component Engineering 4th Internat
GPCE 20052005 年出版448 页ISBN:3540291385
Lecture Notes in Computer Science 4807 Programming Languages and Systems 5th Asian Symposium
APLAS 20072007 年出版431 页ISBN:9783540766360