21. Formal verification of floating-point hardware design : a mathematical approach

by Russinoff, David M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 004.0151 RUS] (1).
22. Python crash course : a hands-on project based introduction to programming

by Matthes, Eric.

Edition: 2nd ed. Publisher: San Francisco No Starch Press 2019Availability: Items available for loan: [Call number: 005.133 MAT] (1).
23. First course in network science

by Menczer, Filippo | Fortunato, Santo | Davis, Clayton A.

Publisher: Cambridge : Cambridge University Press, 2020Availability: Items available for loan: [Call number: 003.72 MEN] (1).
24. A VHDL synthesis primer

by Bhasker, J.

Edition: 2nd ed. Publisher: 2011 B.S.Publications, HyderabadAvailability: Items available for loan: [Call number: 621.392 BHA] (1).
25. Docker in action

by Nickoloff, Jeff | Kuenzli, Stephen | Fisher, Bret.

Edition: 2nd ed. Publisher: Shelter Island : Manning, 2019Availability: Items available for loan: [Call number: 005.1 NIC] (1).

Powered by Koha