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 Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Lecture Notes in Computer Science 3073 Intelligence and Security Informatics Second Symposium on Int
2004 年出版536 页ISBN：3540221255
Lecture Notes in Computer Science 3816 Distributed Computing and Internet Technology Second Internat
ICDCIT 20052005 年出版606 页ISBN：3540309993
Lecture Notes in Computer Science 4172:Research and Advanced Technology for Digital Libraries
2006 年出版569 页ISBN：3540446362
Lecture Notes in Computer Science 4675:Research and Advanced Technology for Digital Libraries
2007 年出版588 页ISBN：9783540748502
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 3656 Image Analysis and Recognition Second International Conferenc
ICIAR 20052005 年出版1279 页ISBN：3540290699
