|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers by Larsen, Kim G | Niebert, Peter Eds. Series: Lecture notes in computer science ; 02791Edition: 1st ed.Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.
|
|
|
|
|
Vorticity and turbulence by Chorin, Alexandre Joel. Series: Applied mathematical sciences ; 0103Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag ; c1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 38 Call number: 532 CHO.
|
|
|
|
|
Fast software encryption: 11th international workshop, FSE 2004, Delhi, India, February 5-7, 2004, revised papers by Roy, Bimal | Meier, Willi Eds. Series: Lecture notes in computer science ; 03017Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Complex geometry - an introduction by Huybrechts, Daniel. Series: UniversitextEdition: 1st ed.Material type: Text;Language: ; Format:
print
Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 1 Call number: 514.7 HUY.
|
|
|
|
|
|
|
|
|
|
Mathematical foundations of computer science 2004: 20th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. proceedings by Fiala, Jiri | Koubek, Vaclav | Kratochvil, Jan Eds. Series: Lecture notes in computer science ; 03153Edition: 1st ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer-Verlag Berlin Heidelberg ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Collected papers [of Israil M. Gelfand] : by Gelfand, Israil M | Gindikin, S.G. et al Ed | Gindikin, S.G. et al Ed. Series: ; 3Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 12, Shelf No: 9 Call number: 51(081) GEL.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
Sheaves in topology by Dimca, Alexandru. Series: UniversitextMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer-Verlag ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 18 Call number: 515.1 DIM.
|
