|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
Algorithms on trees and graphs by Valiente, Gabriel, 1963-. Material 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: 49, Shelf No: 22 Call number: 681.3 VAL.
|
|
|
|
|
|
|
|
|
|
Nuclear energy principles, practices, and prospects by Bodansky, David. Edition: 2nd ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 19 Call number: 621.039.4 BOD.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Astrophysics: new approach by Kundt, Wolfgang. Series: Astronomy and astrophysics libraryEdition: 2nd ed.Material type: Text;Language: ; Format:
print
Publication details: New York, NY ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:26 Call number: 523 KUN.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advanced visual quantum mechanics by Thaller, Bernd. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer/TELOS ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 40 Call number: 530.145 THA.
|
|
|
|
|
|
