Search
نمایش تعداد 1-10 از 35
Adaptive interpolation-based model checking
ناشر: IEEE
سال: 2014
Message from the IPCCC 2014 technical program chairs
ناشر: IEEE
سال: 2014
Author Index
ناشر: IEEE
سال: 2014
Diagnosis method for open-circuit fault of cascade-STATCOM based on analytical model
ناشر: IEEE
سال: 2014
HorusCML: Context-aware domain-specific visual languages designer
ناشر: IEEE
سال: 2014
Independent component analysis by memristor based neural networks
ناشر: IEEE
سال: 2014