|
|
|
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.
|
|
|
|
Arithmetic algebraic geometry by van der Geer, Gerard | Oort, Frans | Steenbrink, J. H. M. Eds. Series: Progress in mathematics ; 00089Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 22 Call number: 51 PM.
|
|
|
|
|
|
|
|
|
|
|
|
Geometry of higher dimensional algebraic varieties by Miyaoka, Yoichi | Peternell, Thomas. Series: DMV Seminar: Bd. 26Material type: Text;Language: ; Format:
print
Publication details: Baseln : ; Birkhauser Verlag ; c199Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 16 Call number: 512.7 MIY.
|
|
|
|
Mathematical analysis: approximation and discrete processes by Giaquinta, Mariano | Modica, Giuseppe. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 48 Call number: 517 GIA.
|
|
|
|
|
|
|
|
|
|
|
|
Determining spectra in quantum theory by Demuth, Michael | Krishna, M. Series: Progess in Mathematical Physics; 44Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27 Shelf No:21 Call number: 51 PM.
|
|
|
|
|
|
|
|
The congruences of a finite lattice a proof-by-picture approach by Graetzer, George. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 29 Call number: 518.6 GRA.
|
|
|
|
|
|
|
|
Einstein studies in Russia by Balashov, Yuri, Ed | Vizgin, Vladimir, Ed. Series: Einstein Studies;00010Material type: Text Publication details: Boston Birkhauser 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 1 Call number: 53 BAL.
|
|
|
|
Einstein formative years, 1879-1909 by Howard, Don, Ed | Stachel, John J., Ed. Series: Einstein studies | v. 8Material type: Text;Language: ; Format:
print
Publication details: Boston ; Birkhauser ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 10 Call number: 53 HOW.
|
|
|
|
103 Trigonometry problems: from the training of the USA IMO team by Andreescu, Titu | Feng, Zuming. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 32, Shelf No: 30 Call number: 517.51 AND.
|
|
|
|
102 combinatorial problems from the training of the USA IMO team by Andreescu, Titu | Feng, Zuming. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 34 Call number: 519.1 AND.
|
|
|
|
Mathematical Olympiad treasures by Andreescu, Titu | Enescu, Bogdan. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 2 Call number: 51 AND.
|
|
|
|
Numerical Methods and Software Tools in Industrial Mathematics by Daehlen, Morten | Tveito, Aslak Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 13 Call number: 51 DAE.
|
|
|
|
Modern Software Tools for Scientific Computing by Bruaset, Arge | Bruaset, Are Magnus | Lantangen, Hans Petter. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Birkhauser ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARGE.
|
|
|
|
Algebraic methods in operator theory by Curto, Raul Ed | Jorgensen, Palle E. T Ed. Material type: Text Publication details: Boston Birkhauser 1994Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 29, Shelf No: 44 Call number: 512.64 CUR.
|