Search
نمایش تعداد 1-10 از 30
Development of SMT-Based Bounded Model Checker for embedded assembly program
ناشر: IEEE
سال: 2014
Using a knowledge base in developing modification for MS Dynamics AX
ناشر: IEEE
سال: 2014
Low breakdown voltage CMOS compatible p-n junction avalanche photodiode
ناشر: IEEE
سال: 2014
Monitoring of traffic networks using mobile sensors
ناشر: IEEE
سال: 2014
Qosidmc-based ON QoS inter domain minimum costalgorithm
ناشر: IEEE
سال: 2014
Efficiency modeling of motor drives for electric vehicles
ناشر: IEEE
سال: 2014