Lecture Notes in Computer Science 4354 Practical Aspects Of Declarative Languages 9th International
PADL 20072007 年出版335 页ISBN：9783540696087
Lecture Notes in Computer Science 3057 Practical Aspects Of Declarative Languages 6th International
PADL 20042004 年出版255 页ISBN：3540222537
Lecture Notes in Computer Science 3125 Mathemati of Program Construction 7th International Conferenc
MPC 20042004 年出版401 页ISBN：3540223800
Lecture Notes in Computer Science 2257 Practical Aspects Of Declarative Languages 4th International
PADL 20022002 年出版351 页ISBN：354043092X
Lecture Notes in Computer Science 4691 Formal Aspects in Socurity and Trust Fourth International Wor
FAST 20062007 年出版286 页ISBN：9783540752264
Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN：3540326286
Lecture Notes in Computer Science 3184 Trust and Privacy in Digital Business First International Con
TrustBus 20042004 年出版299 页ISBN：3540229191
Lecture Notes in Computer Science 4533 Term Rewriting and Applications 18th International Conference
RTA 20072007 年出版419 页ISBN：9783540734475
Lecture Notes in Computer Science 4598 Computing and Combinatorics 13th Annual International Confere
COCOON 20072007 年出版570 页ISBN：9783540735441
