कोहा @ रा.प्रौ.सं.ह. / KOHA @ NITH catalog › Results of search for 'ccl=itype:EBK and se:Theoretical Computer Science and General Issues and su-to:Theory of Computation.'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Peter Müller. by Müller, Peter [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available : Add to cart (remove)
	2.	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). Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available : Add to cart (remove)