Search
نمایش تعداد 1-9 از 9
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification
ناشر: IEEE
سال: 2014
Multichannel Tunneling Carbon Nanotube Field Effect Transistor (MT-CNTFET)
ناشر: IEEE
سال: 2014
An adaptive weighted online AL-FEC algorithm over mobile multicast networks
ناشر: IEEE
سال: 2014
Simulation of a 95 GHz two-stage three-cavity klystron oscillator
ناشر: IEEE
سال: 2014