Formal Methods for the Analysis of Biomedical Ontologies More Books by Guoqiang Zhang, Rashmie Abeysinghe & Licong Cui

Formal Methods for the Analysis of Biomedical Ontologies

Permanent Magnet Synchronous Motor Drives for Gearless Traction Elevators

Reduced DC-link Capacitance AC Motor Drives

Position Sensorless Control Techniques for Permanent Magnet Synchronous Machine Drives

Advances in Energy and Built Environment