Search
نمایش تعداد 1-10 از 11
Catamorphism Generation and Fusion Using Coq
ناشر: IEEE
سال: 2014
[Title page iii]
ناشر: IEEE
سال: 2014
DiAMOND:Distributed alteration of messages for on-chip network debug
ناشر: IEEE
سال: 2014
Robust resource allocation in wireless localization networks
ناشر: IEEE
سال: 2014
Author index
ناشر: IEEE
سال: 2014
Smart Grid security: Deriving informed decisions from cyber attack game analysis
ناشر: IEEE
سال: 2014