Web OPAC

Your search returned 17 results.

Results
	1.	No cover image available Crystals and crystal growing Alan Holden and Phylis Morrison. by Holden, Alan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts : The MIT Press, 1982 Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1)Call number: 548H711C. Add to cart (remove)
	2.	Principles of model checking Christel Baier, Joost-Pieter Katoen. by Baier, Christel Katoen, Joost-Pieter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Massachusetts The MIT Press 2008 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 004.24 B149P, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (4)Call number: 004.24 B149P, ... Add to cart (remove)
	3.	Introduction to embedded systems : a cyber-physical systems approach Edward A. Lee and Sanjit A. Seshia. by Lee, Edward Ashford, 1957- Seshia, Sanjit Arunkumar Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press Cambridge, 2017 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 006.22 L51I2. Add to cart (remove)
	4.	Deep learning Ian Goodfellow, Yoshua Bengio, and Aaron Courville. by Goodfellow, Ian Bengio, Yoshua Courville, Aaron Series: Adaptive computation and machine learning Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2016 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.31 G61D. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	5.	Dynamic logic David Harel, The Weizmann Institute, Dexter Kozen, Cornell University, Jerzy Tiuryn, University of Warsaw. by Harel, David Kozen, Dexter Tiuryn, Jerzy Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2000 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.015113 H222D. Add to cart (remove)
	6.	What is sex? Alenka Zupančič. by Zupančič, Alenka Series: Short circuits Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2017 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 306.7 Z87W. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	7.	Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. by Clarke, Edmund M [author.] Grumberg, Orna Kroening, Daniel Series: The cyber-physical systems series Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2018 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C551M2. Add to cart (remove)
	8.	Urban computing Yu Zheng. by Zheng, Yu Series: Information systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2018 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 628.0285 Z61U. Add to cart (remove)
	9.	Algorithms for optimization Mykel J. Kochenderfer, Tim A. Wheeler. by Kochenderfer, Mykel J [author.] Wheeler, Tim A [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2019 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 518.1 K811A. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 518.1 K811A. Add to cart (remove)
	10.	Reinforcement learning : an introduction Richard S. Sutton and Andrew G. Barto. by Sutton, Richard S [author.] Barto, Andrew G [author.] Series: Adaptive computation and machine learning series Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2020 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.31 So7R2. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	11.	Dynamic macroeconomics George Alogoskoufis. by Alogoskoufis, George Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2019 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 339 Al7D. Add to cart (remove)
	12.	Holographic quantum matter Sean A. Hartnoll, Andrew Lucas, and Subir Sachdev. by Hartnoll, Sean A [author.] Lucas, Andrew [author.] Sachdev, Subir [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2018 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 530.41 H333H. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 530.41 H333H. Add to cart (remove)
	13.	Mastering quantum mechanics : essentials, theory, and applications Barton Zwiebach. by Zwiebach, Barton [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2022 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 530.12 Z98M. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 530.12 Z98M. Add to cart (remove)
	14.	Doing economics : what you should have learned in grad school-but didn't Marc F. Bellemare. by Bellemare, Marc F [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2022 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 330.071 B416D. Add to cart (remove)
	15.	Art of insight in science and engineering : mastering complexity Sanjoy Mahajan. by Mahajan, Sanjoy Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2014 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 501.9 M277A. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 501.9 M277A. Add to cart (remove)
	16.	Category theory for the sciences David I. Spivak. by Spivak, David I [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2014 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 512.62 Sp49C. Add to cart (remove)
	17.	Understanding deep learning Simon J. D. Prince. by Prince, Simon J. D Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2023 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 006.31 P935U. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.31 P935U. Not available: Central Library, IISER Bhopal: Checked out (2). Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in