Your search returned 11 results.

Not what you expected? Check for suggestions
BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

Place hold Log in to add tags
BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 00933Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
External Memory Algorithms and Visualization, DIMACS Workshop, Rutgers Univ., USA. 1998

by Abello, James M. Ed | Vitter, Jeffrey Scott. Ed.

Series: Discrete Mathematics and Theoretical Computer Science,Vol.50Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AMS ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.6 ABE.

Place hold Log in to add tags
BOOKS
Advances in computing science--ASIAN 2003: programming languages and distributed computation proc.: 8th Asian Computing Sc. Conf., Mumbai, December, 2003

by Saraswat, Vijay A. Ed.

Series: Lecture notes in computer science ; 02896Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
LATIN '98, theoretical informatics: Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 proceedings

by Lucchesi, Claudio L | Moura, Arnaldo V Eds.

Series: Lecture notes in computer science ; 01380Material type: Text 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: 20 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Algorithms and data structures: 6th International Workshop, WADS'99, Vancouver, Canada, August, 1999 proceedings

by Dehne, Frank [et al] Eds.

Series: Lecture notes in computer science ; 01663Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
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 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.

Place hold Log in to add tags
BOOKS
FM'99--formal methods: World Congress on Formal Methods in the Development of Computing Systems France, September, 1999 : proceedings

by Wing, Jeannette M | Woodcock, Jim | Davies, Jim Eds.

Series: Lecture notes in computer science ; 01708Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Fundamentals of computation theory: 11th International Symposium, FCT '97, Krak�w, Poland, September 1-3, 1997 : proceedings

by Chlebus, Bogdan S | Czaja, Ludwik Eds.

Series: Lecture notes in computer science ; 01279Material type: Text 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.

Place hold Log in to add tags
BOOKS
Fundamentals of computation theory: 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings

by Ciobanu, Gabriel | Paun, Gheorghe Eds.

Series: Lecture notes in computer science ; 01684Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Principles and practice of constraint programming--CP96: second international conference, CP96, Cambridge, USA, August, 1996 proceedings

by Freuder, Eugene C Ed.

Series: Lecture notes in computer science ; 01118Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha