Lecture Notes in Computer Science 4462 Information Security Theory and Practices Smart Cards
Mobile and Ubiquitous Computing Systems First IFIP TC6/WG8.8/WG11.2 International Workshop2007 年出版253 页ISBN:
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN:
Lecture Notes in Conputer Science 4688 Bio-Inspired Computational IIntelligence and Applications Int
LSMS 20072007 年出版805 页ISBN:9783540747680