कोहा @ रा.प्रौ.सं.ह. / KOHA @ NITH catalog › Results of search for 'an:720'

Search

Your search returned 6 results.

Not what you expected? Check for suggestions

	1.	The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence / by Mario Alemi. by Alemi, Mario [author.] \| 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.	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)
	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 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)
	4.	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)
	5.	Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks / by Michael Voss, Rafael Asenjo, James Reinders. by Voss, Michael [author.] \| Asenjo, Rafael [author.] \| Reinders, James [author.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2019Online access: Click here to access online Availability: No items available : Add to cart (remove)
	6.	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)

Supported by Central Library, NIT Hamirpur
Powered by KOHA