Your search returned 8988 results.

Not what you expected? Check for suggestions
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.

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

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

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

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

Place hold Log in to add tags
BOOKS
WALCOM 2009: Algorithms and computation 3rd International workshop, WALCOM 2009 Kolkata, India, February 18-20, 2009 proceedings

by Das, Sandip, Ed | Uehara, Ryuhei, Ed.

Series: Lecture notes in computer science ; 5431Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer - Verlag ; 2009Online 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.

Place hold Log in to add tags
BOOKS
Algorithms and computation 18th International symposium, ISAAC 2007 Sendai, Japan, December 17 - 19, 2007 Proceedings

by Tokuyama, Takeshi, Ed.

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

Place hold Log in to add tags
BOOKS
Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings

by Bouajjani, Ahmed | Chin, Wei-Ngan Eds.

Series: Lecture Notes in Computer Science; 006252Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2010; Springer Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
CONCUR 2010 - Concurrency Theory 21st International Conference, CONCUR 2010 Paris, france, August - September 2010 Proceedings

by Gastin, Paul | Laroussinie, Francois, Ed.

Series: Lecture Notes in Computer Science; 06269Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer ; New York ; 2010Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Progress in Cryptology- Indocrypt 2005 Proceedings in 6th International Conference on cryptology in India

by Maitra, Subhamoy | Madhavan, Veni C.E | Venkatesan, Ramarathnam.

Series: Lecture Notes in Computer Science ; 3797Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Parameterized and exact computation 4th International workshop, IWPEC 2009 Copenhagan, Denmark, september 2009 revised selected papers

by Chen, Jianer | Fomin, Fedor, V.

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

Place hold Log in to add tags
BOOKS
Parameterized and exact computation: Third International workshop, IWPEC 2008 Victoria, Canada, may 2008 proceedings

by Grohe, Martin | Niedermeier, Rolf Ed.

Series: Lecture notes in computer science; 05018Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2008Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logic and its applications Fifth Indian Conference on Logic and its Applications January 10-12, 2013, Ramanujan Auditorium, Institute of Mathematical Sciences, Chennai, India

by Lodaya, Kamal.

Series: Lecture notes in computer science; 07750Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; springer ; 2013Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second Floor, IMSc Faculty Publication Call number: 681 LNCS.
Lists:

Log in to add tags
BOOKS
Computer science theory and applications 9th International computer science symposium in Russia, CSR 2014 Moscow, Russia, June 7-11, 2014 proceedings

by Hirsch, A. Edward. Ed. etal.

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

Place hold Log in to add tags
E-BOOKS
Modern Cryptology [electronic resource] : A Tutorial / by Gilles Brassard.

by Brassard, Gilles [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 325Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Software Engineering Education [electronic resource] : SEI Conference 1988 Fairfax, Virginia, USA, April 28–29, 1988 Proceedings / edited by Gary A. Ford.

by Ford, Gary A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 327Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Error Detection and Recovery in Robotics [electronic resource] / by Bruce R. Donald.

by Donald, Bruce R [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 336Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Cray X-MP/Model 24 [electronic resource] : A Case Study in Pipelined Architecture and Vector Processing / by Kay A. Robbins, Steven Robbins.

by Robbins, Kay A [author.] | Robbins, Steven [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 374Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Software Engineering Education [electronic resource] : SEI Conference 1989 Pittsburgh, Pennsylvania, USA, July 18–21, 1989 Proceedings / edited by Norman E. Gibbs.

by Gibbs, Norman E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 376Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — CRYPTO’ 88 [electronic resource] : Proceedings / edited by Shafi Goldwasser.

by Goldwasser, Shafi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 403Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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

Powered by Koha