|
|
|
|
Automated theory formation in pure mathematics by Colton, Simon, 1973-. Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 COL.
|
|
|
|
|
Handbook of logic and proof techniques for computer science by Krantz, Steven G., (Steven George), 1951-. Material type: Text;Language: ; Format:
print
Publication details: Boston ; Birkhauser, New York : Springer, ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 13 Call number: 681.3(02) KRA.
|
|
|
|
|
|
|
|
|
|
Introduction to mathematics with Maple by Adams, P., (Peter) | Smith, K., (Ken) | Vyborny, Rudolf. Material type: Text;Language: ; Format:
print
Publication details: River Edge, N.J. ; World Scientific ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 1 Call number: 51 ADA.
|
|
|
|
|
Handbook of computational group theory by Holt, Derek F | Eick, Bettina | O'Brien, Eamonn A. Series: Discrete mathematics and its applicationsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boca Raton ; Chapman & Hall/CRC ; c2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 25 Call number: 512.54 HOLT.
|
|
|
|
|
|
|
|
|
|
Mining the Web discovering knowledge from hypertext data by Chakrabarti, Soumen. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: San Francisco ; Elsevier ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 13 Call number: 681.9 CHA.
|
|
|
|
|
Handbook of computational geometry by Sack, J.R | Urrutia, J Eds. Edition: 1st ed.Material type: Text;Language: ; Format:
print
Publication details: Amsterdam, New York : ; Elsevier ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 14 Call number: 681.3(02) SACK.
|
|
|
|
|
Handbook of conformal mapping with computer-aided visualization by Ivanov, V. I | Trubetskov, M. K. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boca Raton ; CRC Press ; c1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 7 Call number: 517.54(02) IVA.
|
|
|
|
|
Introduction to computer simulation methods Applications to physical systems by Gould, Harvey | Tobochnik, Jan | Christian, Wolfgang. Edition: 3rd.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: San Francisco ; Pearson Education ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 9 Call number: 53 GOU.
|
|
|
|
|
|
|
|
|
|
Simulating the evolution of language by Cangelosi, Angelo | Parisi, Domenico Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 CAN.
|
|
|
|
|
|
|
|
|
|
Geometry for computer graphics formulae, examples and proofs by Vince, John. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; Springer ; c2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 39 Call number: 514 VIN.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Quantum information theory by Wilde, Mark M. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Cambridge university press ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 44 Call number: 530.145 WIL.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Social network data analysis by Aggarwal, Charum, C Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 35, Shelf No: 1 Call number: 519.2 AGG.
|
