Your search returned 8978 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown.

by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 408Source: 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
E-BOOKS
Software Engineering Education [electronic resource] : SEI Conference 1990 Pittsburgh, Pennsylvania, USA, April 2–3, 1990 Proceedings / edited by Lionel E. Deimel.

by Deimel, Lionel E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 423Source: 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
E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 425Source: 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
E-BOOKS
Advances in Cryptology — CRYPTO’ 89 Proceedings [electronic resource] / edited by Gilles Brassard.

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

Series: Lecture Notes in Computer Science ; 435Source: 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
E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 442Source: 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
E-BOOKS
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: 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