कोहा @ रा.प्रौ.सं.ह. / KOHA @ NITH catalog › Results of search for 'ccl=itype:EBK and su-to:Artificial intelligence.'

Search

Your search returned 5 results.

Not what you expected? Check for suggestions

	1.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang. by Vojnar, Tomáš [editor.] \| Zhang, Lijun [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] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. by Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available : Add to cart (remove)
	3.	Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. by Chockler, Hana [editor.] \| Weissenbacher, Georg [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available : Add to cart (remove)
	4.	Foundations of Trusted Autonomy [electronic resource] / edited by Hussein A. Abbass, Jason Scholz, Darryn J. Reid. by Abbass, Hussein A [editor.] \| Scholz, Jason [editor.] \| Reid, Darryn J [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available : Add to cart (remove)
	5.	Elements of Robotics [electronic resource] / by Mordechai Ben-Ari, Francesco Mondada. by Ben-Ari, Mordechai [author.] \| Mondada, Francesco [author.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available : Add to cart (remove)

Supported by Central Library, NIT Hamirpur
Powered by KOHA