Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN：3540326286
Lecture Notes in Computer Science 4778 Analysis and Modeling of Faces and Gestures Third Internation
AMFG 20072007 年出版304 页ISBN：9783540756897
Lecture Notes in Computer Science 2047 Performance Engineering State of the Art and Current Trends
2001 年出版349 页ISBN：3540421459
Lecture Notes in Computer Science 3687 Pattern Recognition and Image Analysis Third International Co
ICAPR 20052005 年出版809 页ISBN：3540288333
Lecture Notes in Computer Science 4235 Combinatorial and Algorithmic Aspects of Networking Third Wor
CAAN 20062006 年出版134 页ISBN：9783540488224
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN：3540221727
Lecture Notes in Computer Science 760 Deductive and Object-Oriented Databases Third InternationalCon
DOOD931993 年出版488 页ISBN：3540575308
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
