Koha online catalog › Results of search for 'Provider:MIT Press, and itype:CR and itype:CR'

	1.	Principles of model checking by Baier, Christel \| Katoen, Joost-Pieter. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2008Availability: Items available for reference: [Call number: 004.24 BAI] (1).
	2.	Introduction to autonomous mobile robots by Siegwart, Roland \| Nourbakhsh, Illah Reza \| Scaramuzza, Davide. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : MIT Press, 2011Availability: Items available for reference: [Call number: 629.8932 SIE] (1).
	3.	Deep learning by Goodfellow, Ian \| Bengio, Yoshua \| Courville, Aaron. Publisher: Cambridge : MIT Press, 2016Availability: Items available for reference: [Call number: 006.31 GOO] (1).

Koha online