Lecture Notes in Computer Science 3981 Computational Science and Its Applications-ICCSA 2006 Interna
Marina Gavrilova2222 年出版0 页ISBN：
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 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 4032 Next GGeneration Information Technologies and Systems 6th Int
NGITS 20062006 年出版366 页ISBN：3540354727
Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int
2006 年出版462 页ISBN：3540465596
Lecture Notes in Computer Science 3314 Computational and Information Science First International Sym
CIS 20042004 年出版1259 页ISBN：3540241272
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN：9783540713883
