Your search returned 138 results.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha