Your search returned 8988 results.

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