- System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and ApplicationsMehta, Ashok B.
Paperback (3rd ed) - Future Spacecraft Propulsion Systems and Integration: Enabling Technologies for Space ExplorationChudoba, Bernd
Paperback (3rd ed) - Computer Systems: Digital Design, Fundamentals of Computer Architecture and Arm Assembly LanguageElahi, Ata
Hardcover (2nd ed)