Lecture Notes in Computer Science 2997 Advances in Information Retrieval 26th European Conference on
ECIR 20042004 年出版421 页ISBN：3540213821
Lecture Notes in Computer Science 4385 Task Models and Diagranms for Users Interface Design 5th Inte
TAMODIA 20062007 年出版355 页ISBN：9783540708155
Lecture Notes in Computer Science 4556 Universal Access in Human-Computer Interaction Applications a
UAHCI 20072007 年出版1020 页ISBN：9783540732822
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN：3540223428
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN：3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN：3540289550
