10 results on '"Sharma, Babita"'
Search Results
2. Assessing efficiency and economic viability in treating leachates emanating from the municipal landfill site at Gazipur, India
3. Experimental Studies of f-CNT Nanofluids in a Helical Coil Heat Exchanger
4. Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
5. Detection of Runtime Errors in MISRA C Programs: A Deductive Approach
6. Bounded Validity Checking of Interval Duration Logic
7. Assertion Checking Environment (ACE) for Formal Verification of C Programs
8. Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
9. Bounded Validity Checking of Interval Duration Logic
10. Assertion Checking Environment (ACE) for Formal Verification of C Programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.