Search
نمایش تعداد 1-10 از 58
A Gentzen system for the description logic
ناشر: IEEE
سال: 2014
On the spatial scale of streamers
ناشر: IEEE
سال: 2014
A case study of verifying TFM requirements specification based on SMV
ناشر: IEEE
سال: 2014
Evaluating impact of wind power hourly variability on day-ahead electricity markets
ناشر: IEEE
سال: 2014
Restrictions Affecting New Zealanders' Access to the Internet: A Local Study
ناشر: IEEE
سال: 2014