Your search returned 2 results.

Results
	1.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi. by Katsaros, Panagiotis [editor.] Nenzi, Laura [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: 005.1. Place hold Save to lists
	2.	Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [electronic resource] : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos. by Cerone, Antonio [edt] Persico, Donatella [edt] Fernandes, Sara [edt] Garcia-Perez, Alexeis [edt] Katsaros, Panagiotis [edt] Shaikh, Siraj Ahmed [edt] Stamelos, Ioannis [edt] Series: Lecture Notes in Computer Science ; 7991 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article 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