|
|
|
|
|
|
|
|
|
Algorithms and data structures :5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 proceedings by Dehne, Frank et al, Eds. Series: Lecture notes in computer science ; 01272Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.
|
|
|
|
|
Automata implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers by Raymond, Darrell | Wood, Derick | Yu, Sheng Eds. Series: Lecture notes in computer science ; 01260Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.
|
|
|
|
|
Discrete and computational geometry: Japanese conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998, revised papers by Akiyama, Jin | Kano, Mikio | Urabe, Masatsugu Eds. Series: Lecture notes in computer science ; 01763Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Randomization and approximation techniques in computer science: second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 proceedings by Luby, Michael | Rolim, Jose | Serna, Maria Eds. Series: Lecture notes in computer science ; 01518Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Number theory: New York Seminar 2003 by Chudnovsky, David | Chudnovsky, Gregory | Nathanson, Melvyn B Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 16 Call number: 511 CHU.
|
|
|
|
|
Intelligent agents V : agent theories, architectures, and languages: 5th International Workshop, ATAL'98 France, July, 1998 : proceedings by Muller, Jorg P | Singh, Muninar P | Rao, Anand S. Eds. Series: Lecture notes in artificial intelligence ; 01555Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 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.
|
