Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4116 Security and Cryptography for Networks 5th International Conf
SCN 20062006 年出版364 页ISBN：3540380809
Lecture Notes in Computer Science 4748 Formal Methds and Stochastic Models for Percformance Evaluati
EPEW 20072007 年出版300 页ISBN：9783540752103
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN：3540234276
Lecture Notes in Computer Science 4560 Usability and Internationalization Global and local User Inte
2007 年出版576 页ISBN：9783540732884
Lecture Notes in Computer Science 4041 Algorithmic Aspects in Information and Management Second Inte
AAIM 20062006 年出版394 页ISBN：3540351574
Lecture Notes in Computer Science 3777 Stochastic Algorithms:Foundations and Applications Third Inte
SAGA 20052005 年出版239 页ISBN：3540294988
Lecture Notes in Computer Science 4430 Parallel and Distributed Processing and Applications 4th Inte
ISPA 20062006 年出版953 页ISBN：9783540680673
