Koha online catalog › Results of search for 'Provider:MIT Press, 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: DAU [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: DAU [Call number: 629.8932 SIE] (1).

Koha online