Your search returned 8979 results.

Not what you expected? Check for suggestions
BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

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

BOOKS
Selected areas in cryptography: 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 proceedings

by Tavares, Stafford | Meijer, Henk Eds.

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

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.

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.

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.

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.

BOOKS
Foundations of computer science potential--theory--cognition

by Freksa, Christian | Jantzen,Matthias | Valk, Rudiger Eds.

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

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.

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.

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.

BOOKS
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 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.

BOOKS
Randomization, approximation, and combinatorial optimization: algorithms and techniques 3rd International Workshop on Randomization & Approximation Techniques in Computer Science, RANDOM-APPROX'99, Berkeley USA, August, 1999:proceedings

by Hochbaum, Dorit [et al] Eds.

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

BOOKS
Parameterized and exact computation: First international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, proceedings

by Downey, Rod | Fellows, Michael | Dehne, Frank.

Series: Lecture notes in computer science ; 03162Edition: .Material type: Text Text;Language: ; Format: print Language: English Publication details: New York ; Springer ; 2004Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 29 Call number: 681 LNCS.

BOOKS
Constraints in computational logics theory and applications

by Comon, Hubert | Marche, Claude | Treinen, Ralf.

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

BOOKS
Randomness and completeness in computational complexity

by Melkebeek, Dieter van.

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

BOOKS
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 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.

BOOKS
FSTTCS 2004: foundations of software technology and theoretical computer science: 24th international conference, Chennai, India, December 2004 Proceedings

by Lodaya, Kamal | Mahajan, Meena Eds.

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

BOOKS
FST TCS 1990: Foundations of Software Technology and Theoretical Computer science : Tenth Conference., Bangalore, Dec. 1990: preceedings

by Nori, K V (Ed,) | Veni Madhavan, C.E (Ed.).

Series: Lecture notes in computer science ; 472Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

BOOKS
FSTTCS 2005: foundations of software technology and theoretical computer science: 25th international conference Hyderabad, India December 2005: proceedings

by Ramanujam, R | Sen, Sandeep Eds.

Series: Lecture notes in computer science ; 3821Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
FST TCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India, December 2006 Proceedings

by Arun-Kumar, S | Garg, Naveen Eds.

Series: Lecture notes in computer science ; 4337Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha