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