Your search returned 3 results.

Results
	1.	Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. by ATVA 2011 (9th : 2011 : Taipei, Taiwan) Hsiung, Pao-Ann [edt.] Bultan, Tevfik [edt.] Series: Lecture Notes in Computer Science ; 6996 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Communication, Networks and Computing [electronic resource] : Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part II / edited by Ranjeet Singh Tomar, Shekhar Verma, Brijesh Kumar Chaurasia, Vrijendra Singh, Jemal H. Abawajy, Shyam Akashe, Pao-Ann Hsiung, Ramjee Prasad. by Tomar, Ranjeet Singh [editor.] Verma, Shekhar [editor.] Chaurasia, Brijesh Kumar [editor.] Singh, Vrijendra [editor.] Abawajy, Jemal H [editor.] Akashe, Shyam [editor.] Hsiung, Pao-Ann [editor.] Prasad, Ramjee [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.39 \| 004.6. Place hold Save to lists
	3.	Communication, Networks and Computing [electronic resource] : Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part I / edited by Ranjeet Singh Tomar, Shekhar Verma, Brijesh Kumar Chaurasia, Vrijendra Singh, Jemal H. Abawajy, Shyam Akashe, Pao-Ann Hsiung, Ramjee Prasad. by Tomar, Ranjeet Singh [editor.] Verma, Shekhar [editor.] Chaurasia, Brijesh Kumar [editor.] Singh, Vrijendra [editor.] Abawajy, Jemal H [editor.] Akashe, Shyam [editor.] Hsiung, Pao-Ann [editor.] Prasad, Ramjee [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.39 \| 004.6. Place hold Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India