|
|
|
Homi Bhabha and the Computer Revolution by Shyamasundar. R. K. Ed | Pai. M. A. Publication details: New Delhi Oxford University Press 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 SHY.
|
|
|
|
|
|
|
|
|
|
|
|
Logic in Computer Science Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Edition: 2ndMaterial type: Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Garside Theory [electronic resource] / Patrick Dehornoy, François Digne, Eddy Godelle, Daan Krammer, Jean Michel by Dehornoy, Patrick [author.] | Dehornoy, Patrick [author.] | Digne, François [author.] | Godelle, Eddy [author.] | Krammer, Daan [author.] | Michel, Jean [author.]. Series: EMS Tracts in Mathematics (ETM) ; 22Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2015Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Four Faces of Number Theory [electronic resource] / Kathrin Bringmann, Yann Bugeaud, Titus Hilberdink, Jürgen Sander by Bringmann, Kathrin [author.] | Bringmann, Kathrin [author.] | Bugeaud, Yann [author.] | Hilberdink, Titus [author.] | Sander, Jürgen [author.]. Series: EMS Series of Lectures in Mathematics (ELM)Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2015Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|