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 4178 Graph Transformations Third International Conference
ICGT 20062006 年出版473 页ISBN：3540388702
Lecture Notes in Computer Science 3072 Biometric Authentication First International Conference
ICBA 20042004 年出版800 页ISBN：3540221468
Lecture Notes in Computer Science 4784 Provable Security First International Conference
ProvSec 20072007 年出版237 页ISBN：9783540756699
Lecture Notes in Computer Science 3468 Pervasive Computing Third International Conference
PERVASIVE 20052005 年出版347 页ISBN：3540260080
Lecture Notes in Computer Science 3579 Web Engineering 5th International Conference
ICWE 20052005 年出版633 页ISBN：3540279962
Lecture Notes in Computer Science 2985 Compiler Construction 13th International Conference
CC 20042004 年出版313 页ISBN：3540212973
Lecture Notes in Computer Science 2304 Compiler Construction 11th International Conference
CC 20022002 年出版341 页ISBN：3540433694
Lecture Notes in Computer Science 4607 Web Engineering 7th International Conference
ICWE 20072007 年出版576 页ISBN：9783540735960
