Koha online catalog › Results of search for 'su:"Information Technology" and su-to:Data Processing'

	41.	Formal verification of floating-point hardware design : a mathematical approach by Russinoff, David M. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 004.0151 RUS] (1). Place hold
	42.	Supervised learning with quantum computers by Schuld, Maria. Publisher: Cham Springer 2018Availability: No items available Checked out (1). Place hold
	43.	Distributed systems : an algorithmic approach by Ghosh, Sukumar. Edition: 2nd ed. Publisher: Boca Raton : CRC Press, 2015Availability: Items available for loan: [Call number: 004.36 GHO] (1). Place hold
	44.	Spark : the definintive guide : big data processing made simple by Chambers, Bill \| Zaharia, Matei. Publisher: Mumbai : Shroff Publishers, 2018Availability: No items available Checked out (1). Place hold
	45.	Foundations of discrete mathematics with algorithms and programming by Sridharan, Sriraman \| Balakrishnan, R. Publisher: Boca Raton : CRC Press, 2019Availability: Items available for loan: [Call number: 004.0151 SRI] (1). Place hold

Koha online