Your search returned 11 results.

Results
	1.	Model Checking by Clarke, Edmund M Grumberg, Orna; Peleg, Doron Material type: Text Publication details: Cambridge MIT Press 1999 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	2.	Deep Learning by Goodfellow, Ian Bengio, Yoshua; Courville, Aaron Material type: Text Publication details: Cambridge MIT Press 2016 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	3.	Principles of Cyber Physical Systems by Alur, Rajeev Material type: Text Publication details: Massachusetts MIT Press 2015 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	4.	Lectures on Macroeconomics by Blanchard, Olivier Jean Fischer, Stanley Material type: Text Publication details: Massachusetts MIT Press 1989 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	5.	Introduction to Embedded Systems: A Cyber-Physical Systems Approach by Lee, Edward Ashford Seshia, Sanjit Arunkumar Edition: 2/e Material type: Text Publication details: Cambridge MIT Press 2017 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	6.	Principles of Model Checking by Baier, Christel Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Publication details: U.S.A. MIT Press 2008 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	7.	Foundations of Machine Learning by Mohri, Mehryar Rostamizadeh, Afshin; Talwalkar, Ameet Edition: 2/e Material type: Text Publication details: Cambridge MIT Press 2018 Availability: Not available: IIT Goa Central Library: Reference (2). Log in to add tags Add to cart (remove)
	8.	Reinforcement Learning: An Introduction by Sutton, Richard S Barto, Andrew G Material type: Text Publication details: Cambridge MIT Press 2018 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	9.	Foundations of Statistical Natural Language Processing by Manning, Christopher D Schütze, Hinrich Material type: Text Publication details: Cambridge MIT Press 1999 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	10.	Introduction to Deep Learning by Charniak, Eugene Material type: Text Publication details: Cambridge MIT Press 2018 Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)
	11.	An introduction to agent-based modeling : modeling natural, social, and engineered complex systems with NetLogo / Uri Wilensky and William Rand. by Wilensky, Uri, 1955- Rand, William, 1976- Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : The MIT Press, [2015] Availability: Not available: IIT Goa Central Library: Reference (1). Log in to add tags Add to cart (remove)

© 2021 Managed and maintained by Central Library, IIT Goa

web counter