|
|
|
Fundamental proof methods in Computer Science by Arkoudas, Konstantine Musser, David. Material type: Text Publication details: Cambridge The MIT Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARK.
|
|
|
|
Deep Learning by Goodfellow, Ian | Bengio, Yoshua | Courville, Aaron. ;Language: English Language: English Publication details: Cambridge, Massachusetts : The MIT Press, MIT Press 2016Availability: Items available for loan: IMSc Library (1). Checked out (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOO.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Object Oriented Programming With C++ by Balagurusamy. E. Edition: 5th EditionMaterial type: Text Publication details: New Delhi Tata McGraw Hill Education Private Limited 2011Availability: No items available : Checked out (1).
|
|
|
|
Programming in ANSI C by Balagurusamy. E. Edition: 6th EditionMaterial type: Text Publication details: New Delhi Tata McGraw Hill Education Private Limited 2012Availability: No items available : Checked out (1).
|
|
|
|
A New Perspective on Nonmontonic Logics by Gabbay, Dov. M | Schlechta, Karl. Material type: Text Publication details: New York Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|