Your search returned 10753 results.

Not what you expected? Check for suggestions
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
Applied algebra, algebraic algorithms and error-correcting codes 17th international symposium, AAECC-17 Bangalore, India, December 2007 proceedings

by Boztas, Serdar | Feng, Hsiao Lu.

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

Place hold Log in to add tags
BOOKS
Descriptional complexity of formal systems Proceedings of the 13th international workshop, DCFS 2011 Gieben/Limburg, Germany, july 2011

by Holzer, Markus, Ed | Kutrib, Martin | Pighizzini, Giovanni.

Series: Lecture notes in computer science; 06808Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Springer ; New york ; 2011Availability: 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 2011 - Concurrency theory 22nd international conference, concur 2011 Aachen, germany, September 2011 proceedings

by Katoen, Joost-Pieter, Ed | Konig, Barbara.

Series: Lecture notes in computer science; 6901Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: 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
No cover image available
Computing and combinatorics 17th Annual International conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 proceedings

by Bin, Fu | Du, Ding-Zhu Ed.

Series: Lecture notes in computer science; 06842Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: 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
Progress in cryptology INDOCRYPT 2007 Proceedings of 8th internatoinal conference on cryptology in India chennai, India, December 2007

by Srinathan, K | Pandu Rangan, C | Yung, Moti.

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

Place hold Log in to add tags
BOOKS
Progress in cryptology INDOCRYPT 2009 Proceedings of 10th international conference on cryptology in India New Delhi, India, December 2009

by Roy, Bimal | Sendrier, Nicolas Ed.

Series: Lecture notes in computer science; 05922Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2009Availability: 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
Advances in cryptology ASIACRYPT 2005 Proceedings of 11th international conference on the theory and application of cryptology and information security Chennai, India, December 2005

by Roy, Bimal Ed.

Series: Lecture notes in computer science; 03788Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; 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
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 7th international symposium, IPEC 2012 Ljublijana, Slovenia, september 2012 proceedings

by Thilikos, Dimitrios M | Woeginger, Gerhard, J Ed.

Series: Lecture notes in computer science; 07535Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 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 6th international symposium, IPEC 2011 Saarbucken, Germany, september 2011 revised selected papers

by Marx, Daniel Ed | Rossmanith, Peter.

Series: Lecture notes in computer science; 07112Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2012Availability: 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
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
Time for verification Essays in memory of Amir Pnueli

by Manna, Zohar | Peled, Doron A.

Series: Lecture notes in computer science; 06200Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2010Availability: 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
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
BOOKS
Horizons of the mind A tribute to Prakash Panangaden

by Breugel, Van. Franck. Ed. etal.

Series: Lecture notes in computer science ; 08464Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2014; 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
Logic and its applications 6th Indian conference, ICLA 2015,Mumbai, India, January 8-10, 2015 proceedings

by Banerjee, Mohua, Ed | Krishna, Shankara Narayanan.

Series: Lecture notes in computer science ; 08923Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: 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
Progress in cryptology INDOCRYPT 2004 5th International conference on cryptology in India Chennai, India, December 2004 proceedings

by Canteaut, Anne | Viswanathan, Kapaleeswaran. Ed.

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

Place hold Log in to add tags
E-BOOKS
7th International Conference on Automated Deduction [electronic resource] : Napa, California, USA May 14–16, 1984 Proceedings / edited by R. E. Shostak.

by Shostak, R. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 170Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1984Online 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