Your search returned 4 results.

Results
	1.	Principles of model checking by Baier, Christel Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, : MIT Press, ©2008 Online access: Table of contents only Availability: Items available for loan: IIITD (1)Call number: REF 004.24 BAI-P. Place hold Add to cart (remove)
	2.	Model checking by Clarke, E. M Grumberg, Orna Peled, Doron Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : MIT Press, ©1999 Availability: Items available for loan: IIITD (1)Call number: REF 004.24 CLA-M. Place hold Add to cart (remove)
	3.	Affective computing by Picard, Rosalind W Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : MIT Press, ©1997 Availability: Items available for reference: IIITD: Not for loan (1)Call number: 004.019 PIC-A. Add to cart (remove)
	4.	The internet of things by Greengard, Samuel Series: The MIT press essential knowledge series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : MIT Press, ©2021 Availability: Items available for loan: IIITD (1)Call number: 004.678 GRE-I. Place hold Add to cart (remove)

Refine your search