|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures by Backhouse, Roland C., 1948- | Crole, Roy L | Gibbons, Jeremy,, 1966-. Series: Lecture notes in computer science ; 02297Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Discrete algorithmic mathematics by Maurer, Stephen B | Ralston, Anthony. Edition: 3rd ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Wellesley, Mass. ; A.K. Peters ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAU.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alternative logics do sciences need them? by Weingartner, Paul. Ed. Series: Physics and astronomyMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WEI.
|
|
|
|
|
Science in the looking glass what do scientists really know? by Davies, E. B., (Edward Brian). Material type: Text;Language: ; Format:
print
Publication details: Oxford, New York : ; Oxford University Press ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 6 Call number: 5 DAV.
|
|
|
|
|
Galileo Galilei, when the world stood still by Naess, Atle. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer ; c2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 17 Call number: 51 NAE.
|
|
|
|
|
|
|
|
|
|
Brain-wise studies in neurophilosophy by Churchland, Patricia Smith. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. ; MIT Press ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 6 Call number: 599 CHU.
|
|
|
|
|
|
|
|
|
|
Women, fire and dangerous things: what categories reveal about the mind by Lakoff, George. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Chicago ; University of Chicago Press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 51, Shelf No: 05 Call number: 8 LAK.
|
|
|
|
|
|
|
|
|
|
A short history of nearly everything by Bryson, Bill. Edition: Sp. illustrated ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Broadway Books ; c2005Availability: No items available : Checked out (1).
|
