Your search returned 9 results.

Not what you expected? Check for suggestions

Results
			Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Applications of Nanobiotechnology in Pharmacology by Tao, Wei [edt] Behzadi, Shahed [edt] Ding, Jianxun [edt] Wang, Chao [edt] Tao, Wei [oth] Behzadi, Shahed [oth] Ding, Jianxun [oth] Wang, Chao [oth] Material type: Article Language: English Publication details: Frontiers Media SA 2020 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I by Lahiri, Shuvendu K [edt] Wang, Chao [edt] Lahiri, Shuvendu K [oth] Wang, Chao [oth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II by Lahiri, Shuvendu K [edt] Lahiri, Shuvendu K [oth] Wang, Chao [edt] Wang, Chao [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2020 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I by Lahiri, Shuvendu K [edt] Lahiri, Shuvendu K [oth] Wang, Chao [edt] Wang, Chao [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2020 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies | Maintained by: Global Library