Start Over
You searched for: author Joshi, Rajeev.

Search Results

Cover image for NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Location
Access Content Online
Cover image for Verified software : theories, tools, experiments

Verified software : theories, tools, experiments

Location
Access Content Online
Cover image for NASA formal methods

NASA formal methods

Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Location Call # Status
Joyner - General Stacks QA76.76.V47 C38 2003 ✔ Available
Cover image for Mathematics of program construction

Mathematics of program construction

Location Call # Status
Joyner - General Stacks QA76.6 .I5535 1998 ✔ Available
Cover image for Natural products chemistry

Natural products chemistry

  • 2021
  • Format: Electronic
Location
Access Content Online
Cover image for Engineering of nanobiomaterials

Engineering of nanobiomaterials

  • 2016
  • Format: Electronic
Location
Access Content Online
Cover image for Soil bioremediation

Soil bioremediation

  • 2021
  • Format: Electronic
Location
Access Content Online
Cover image for Transforming industries

Transforming industries

  • 2026
  • First edition
  • Format: Electronic
Location
Access Content Online
Cover image for Neurointerventional Surgery

Neurointerventional Surgery

Location
Access Content Online