Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
Lecture Notes in Computer Science 4767 International Symposium on Fundamentals of Software Engineeri
FSEN 20072007 年出版450 页ISBN：9783540756972
Lecture Notes in Computer Science 3458 Scientific Applications of Grid Computing First International
SAG 20042005 年出版208 页ISBN：3540258108
Lecture Notes in Computer Science 2205 Spatial Information Theory Foundations of Geographic Informat
COSIT 20012001 年出版503 页ISBN：3540426132
Lecture Notes in Computer Science 2952 Scientific Engineering of Distributed Java Applications Third
FIDJI 20032004 年出版154 页ISBN：3540210911
Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN：3540221204
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 3237 Comparative Evaluation of Multilingual Information Access Sys
CLEF 2003 Trondheim2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
