Using Event-B for Critical Device Software Systems More Books by Neeraj Kumar Singh

Integrated Bioeletrochemical–Constructed Wetland System for Future Sustainable Wastewater Treatment

Green Technologies for Industrial Waste Remediation

Quantum Computing: A Shift from Bits to Qubits

Model and Data Engineering

Industrial System Engineering for Drones