|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
Holographic quantum matter by Hartnoll, Sean A | Lucas, Andrew | Sachdev, Subir. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Cambridge MIT Press 2018Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 5 Call number: 535.417 HAR.
|