Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN：3540152164
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
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 3723 Analysis and Modelling of Faces and Gestures Second Internati
AMFG 20052005 年出版424 页ISBN：3540292292
Lecture Notes in Computer Science 4673 Computer Analysis of Images and Patterns 12th International C
CAIP 20072007 年出版1006 页ISBN：9783540742715
Lecture Notes in Computer Science 3691 Computer Analysis of Images and Patterns 11th International C
CAIP 20052005 年出版865 页ISBN：3540289690
Lecture Notes in Computer Science 3484 Efficient Approximation and Online Algorithms
Evripidis Bampis2006 年出版349 页ISBN：
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
