Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker.

by Biere, Armin [editor.] | Parker, David [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

2.
Embedded Firmware Solutions [electronic resource] : Development Best Practices for the Internet of Things / by Vincent Zimmer, Jiming Sun, Marc Jones, Stefan Reinauer.

by Zimmer, Vincent [author.] | Sun, Jiming [author.] | Jones, Marc [author.] | Reinauer, Stefan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2015Online access: Click here to access online Availability: No items available :

Supported by Central Library, NIT Hamirpur
Powered by KOHA