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 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN:3540108858
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 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN:9783540713883
Lecture Notes in Artificial Intelligence 3025 Methods and Applications of Artificial Intelligence Th
SETN 20042004 年出版546 页ISBN:3540219374
Lecture Notes in Computer Science 3153 Mathematical Foundations Of Computer Science 2004 29 Internat
MFCS 20042004 年出版902 页ISBN:3540228233
Lecture Notes in Artificial Intelligence 3946 Modeling and Retriecal of Context Second International
MRC 20052006 年出版149 页ISBN:3540335870
Lecture Notes in Computer Science 2205 Spatial Information Theory Foundations of Geographic Informat
COSIT 20012001 年出版503 页ISBN:3540426132