Your search returned 718 results.

Not what you expected? Check for suggestions
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
BOOKS
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

by Fomin, Fedor V. Ed., Kaski, Petteri Ed.

Series: Lecture Notes in Computer Science ; 7357Material type: Text Text Publication details: Berlin Springer 2012Online access: Click here to access online Availability: No items available :

Log in to add tags
BOOKS
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

by Fomin, Fedor V. Kaski, Petteri Ed.

Series: Lecture Notes in Computer Science ; 07357Material type: Text Text Publication details: Berlin Springer 2012Online access: Click here to access online 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
Graph Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lubeck, Germany, June 2013. Revised Papers.

by Brandstadt, Andreas Jansen, Klaus Reischuk, Rudiger Eds.

Series: Lecture Notes in Computer Science ; 08165Edition: Advanced Research in computing and software scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Online access: Click here to access online 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 7th Indian Conference, ICLA 2017 Kanpur, India, January 5-7, 2017

by Ghosh, Sujata | Prasad, Sanjiva Eds.

Series: Lecture Notes in Computer Science ; 10119Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Germany Springer 2017Availability: Items available for loan: IMSc Library (3). 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: 5th Indian Conference, ICKA 2013 Chennai, India, January 2013 Proceedings

by Kamal Lodaya Eds.

Series: Lecture notes in computer science ; 7750Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2013Availability: 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: 32 Call number: 681 LNCS.
Lists:

Place hold Log in to add tags
BOOKS
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

by Sheng Yu, Paun Andrei Ed.

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

Place hold Log in to add tags
BOOKS
Logical foundations of Computer Science

by Artemov, Sergei | Nerode, Anil Eds.

Series: Lecture Notes in Computer Science ; 9537Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Springer 2016Availability: 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 2012 : 13th International conference on cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings / Ed. by Steven Galbraith and Mridul Nandi.

by Galbraith, Steven (Ed.) | Mridul Nandi.

Series: Lecture notes in computer science ; 7668Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng 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
Progress in cryptology - Indocrypt 2013 : 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings

by Paul, Goutam (Ed.) | Vaudeney, Serge (Ed.).

Series: Lecture notes in computer science ; 8250Edition: 1Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer , 2013Online 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): Second Floor, Rack No:48 Shelf No:32 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings

by Arge, Lars (Ed.) | Freĭvald, R. V.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer, 2006Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

Log in to add tags
BOOKS
Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings / Mario Coppo, Elena Lodi, G. Michele Pinna (eds.)

by Coppo, Mario | Coppo, Mario | Lodi, E | Pinna, G. Michele.

Series: Lecture notes in computer science ; 3701Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c2005Other title: ICTCS 2005.Online access: Click here to access online Availability: 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.

Log in to add tags
BOOKS
Approximation algorithms for combinatorial optimization : International workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / Klaus Jansen, José Rolim (eds.).

by Klaus Jansen | Jansen, Klaus | Rolim, José D. P.

Series: Lecture notes in computer science ; 1444Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1998Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

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

Powered by Koha