Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
Computer Science and Statistics:Proceedings of the Fifteenth Symposium on the Interface
James E.Gentle1983 年出版379 页ISBN：
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
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 Artificial Intelligence 3336 Practical Aspects of Knowledge Manage
PAKM 20042004 年出版524 页ISBN：3540240888
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
