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 2158 Interactive Distributed Multimedia Systems 8th International
IDMS 20012001 年出版258 页ISBN:3540425306
Lecture Notes in Computer Science 3101 Computer Human Interaction 6th Asia Pacific Conference
APCHI 20042004 年出版694 页ISBN:3540223126
Lecture Notes in Computer Science 3153 Mathematical Foundations Of Computer Science 2004 29 Internat
MFCS 20042004 年出版902 页ISBN:3540228233
Lecture Notes in Computer Science 4206 UbiComp 2006:Ubiquitous Computing 8th International Conferenc
UbiComp 20062006 年出版526 页ISBN:3540396349
Lecture Notes in Computer Science 3058 Computer Vision in Human-Computer Interaction ECCV 2004 Works
2004 年出版233 页ISBN:3540220127
Lecture Notes in Computer Science 4642 Advances in Biometrics International Conference
ICB 20072007 年出版1216 页ISBN:9783540745488