Your search returned 2 results.

Results
	1.	Runtime Verification [electronic resource] : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings / edited by Thao Dang, Volker Stolz. by Dang, Thao [editor.] Stolz, Volker [editor.] Series: Lecture Notes in Computer Science ; 13498 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	2.	Hybrid Systems Biology [electronic resource] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza. by Maler, Oded [edt] Halász, Ádám [edt] Dang, Thao [edt] Piazza, Carla [edt] Series: Lecture Notes in Computer Science ; 7699 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists

Refine your search