Your search returned 138 results.

Not what you expected? Check for suggestions
BOOKS
Algorithms-ESA 2001 : 9th annual European symposium, Åarhus, Denmark, August 28-31, 2001 : proceedings / Friedhelm Meyer auf der Heide (ed.).

by Friedhelm Meyer auf der Heide | Meyer auf der Heide, F.

Series: Lecture notes in Computer science ; 2161Material 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 reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
LATIN '95 :Theoretical informatics Second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings Eric Goles, Patricio V. Poblete, eds.

by Ricardo Baeza-Yates | Baeza-Yates, R | Golès, E | Poblete, Patricio V.

Series: Lecture notes in computer science ; 911Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c1995Online 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: 16 Call number: 681 LNCS.

BOOKS
FST TCS 1993: Foundations of Software Technology and Theoretical Computer Science 13th Conference Bombay, India, December 15–17, 1993 Proceedings

by Rudrapatna K. Shyamasundar (Ed.) | Goos, Gerhard | Hartmanis, Juris.

Series: Lecture Notes in Computer Science ; 761Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 1993Online 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: 15 Call number: 681 LNCS.

BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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.

BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

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

BOOKS
Algorithms and computation : ISAAC 2008 19th international symposium, Gold Coast, Australia, December 15-17, 2008. proceedings / [edited by] Hiroshi Nagamochi, Takuro Fukunaga.

by Seok-Hee Hong | Hong, Seok-Hee | Nagamochi, Hiroshi | Fukunaga, Takuro.

Series: Lecture notes in computer science ; 5369Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer, 2008Online 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
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.

by Anna Frid | Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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: 32 Call number: 681 LNCS.

BOOKS
Security Aspects in Information Technology First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings edited by ,Debdeep Mukhopadhyay, Michael Tunstall.

by Marc Joye | Joye, Marc | Mukhopadhyay, Debdeep | Tunstall, Michael.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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: 32 Call number: 681 LNCS.

BOOKS
Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / [edited by]Manindra Agrawal, Angsheng Li.

by Gopal, T. V.

Series: Lecture notes in computer science ; 8402Edition: 1st edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Switzerland Springer 2014Online 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: 32 Call number: 681 LNCS.

BOOKS
Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Arun K. Sharma (eds.)

by Setsuo Arikawa | Arikawa, S | Sharma, Arun K.

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

BOOKS
Lectures on logic and computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011, Selected Lecture Notes Nick Bezhanishvili, Valentin Goranko. (Eds)

by Bezhanishvili, Nick.

Series: Lecture notes in computer science ; 7388Edition: 1st ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2012Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Models of Strategic Reasoning Logics, Games, and Communities

by Benthem, Johan van Ed | Ghosh, Sujata, Ed | Verbrugge, Rineke, Ed.

Series: Lecture Notes in Computer Science ; 8972Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 2015Availability: 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 46th International Workshop, WG 2020 Leeds, UK, June 24-26, 2020. Revised selected papers [LNCS;12301]

by Adler, Isolde | Muller, Haiko.

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

BOOKS
Combinatorial algorithms: 31st international workshop,IWOCA 2020, Bordeaux, France, June 8-10, 2020. Proceedings

by Gasieniec, Leszek Ed | Klasing, Ralf Ed | Radzik, Tomasz Ed.

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

BOOKS
Algorithms and Computation: 8th international workshop, WALCOM 2014, Chennai, India, February 13-15, 2014. Proceedings

by Prasant Pal, Sudebkumar Ed | Sadakane, Kunihiko Ed.

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

BOOKS
Theory an Applications of satisfiability testing - SAT 2012: 15th international conference. Trento, Italy, June 2012. Proceedings

by Cimatti, Alessandro Ed | Sebastiani, Roberto Ed.

Series: Lecture Notes in Computer Science ; 7317Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2012Online 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:32 Call number: 681 LNCS.

BOOKS
Algorithms - ESA 2009 17th annual European symposium, Copenhagen, Denmark, September 2009. Proceedings

by Fiat, Amos Ed | Sanders, Peter Ed.

Series: Lecture Notes in Computer Science ; 5757Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2009Availability: 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
Parameterized and exact computation second international workshop, IWPEC 2006 Zurich, Switzerland, September 2006

by Bodlaender, Hans L. Ed | Langston, Michael A. Ed.

Series: Lecture Notes in Computer Science ; 4169Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2006Availability: 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha