कोहा @ रा.प्रौ.सं.ह. / KOHA @ NITH catalog › Results of search for 'ccl=itype:EBK and se:Theoretical Computer Science and General Issues and au:Dillig, Isil. and se:Theoretical Computer Science and General Issues and itype:EBK'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] \| Tasiran, Serdar [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available : Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] \| Tasiran, Serdar [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available : Add to cart (remove)