Lecture Notes in Computer Science 3436 Embedded Systems Design The ARTIST Roadmap for Research and D
2005 年出版492 页ISBN:3540251073
Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int
2006 年出版462 页ISBN:3540465596
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 Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543
Lecture Notes in Computer Science 3137 Adaptive Hypermedia and Adaptive Web-Based Systems Third Inte
AH 20042004 年出版442 页ISBN:3540228950
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN:
Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures
FOSSACS 20072007 年出版379 页ISBN:9783540713883