Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 4308 Distributed Computing and Networking 8th International Confer
ICDCN 20062006 年出版608 页ISBN：9783540681397
Lecture Notes in Computer Science 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
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 4904 Distributed Computing and Networking 9th International Confer
ICDCN 20082008 年出版588 页ISBN：9783540774433
Lecture Notes in Computer Science 4001 Advanced Information Systems Engineering 18th International C
CAiSE 20062006 年出版560 页ISBN：354034652X
Lecture Notes in Computer Science 3454 Coordination Models and Languages 7th International Conferenc
COORDINATION 20052005 年出版299 页ISBN：354025630X
Lecture Notes in Computer Science 2998 Functional and Logic Programming 7th International Symposium
FLOPS 20062004 年出版307 页ISBN：354021402X
Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium
FLOPS 2001 Tokyo2222 年出版0 页ISBN：
