Your search returned 723 results.

Not what you expected? Check for suggestions
BOOKS
Theoretical aspects of Reasoning about knowledge (TARK 1994) Proceedings of the fifth conference

by Fagin, Ronald, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Morgan Kaufmann Publishers 1994Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681.3 FAG.

BOOKS
Theoretical aspects of Rationality and knowledge (TARK 1996) Proceedings of the sixth Conference

by Shoham, Yoav, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Morgan Kaufmann Publishers 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SHO.

BOOKS
Theoretical aspects of Rationality and knowledge (TARK 2005) Proceedings of the tenth conference. June 10-12, 2005, Singapore.

by Meyden, Ron van der, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: ACM Digital Library 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEY.

BOOKS
Theoretical aspects of Rationality and knowledge (TARK 2007) Proceedings of the 11th conference. June 25-27, 2007, Brussels, Belgium.

by Samet, Dov, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: de Louvain Presses universitaires 2007Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 SAM.

BOOKS
Theoretical aspects of Rationality and knowledge(TARK 2009) Proceedings of the twelfth conference July 6-8 2009

by Heifetz, Aviad, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Stanford, California ACM 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HEI.

BOOKS
Theoretical aspects of Rationality and knowledge (TARK 1998) Proceedings of the Seventh Conference

by Gilboa, Itzhak, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Morgan Kaufmann Publishers 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GIL.

BOOKS
Theoretical aspects of Rationality and knowledge (TARK 2003) proceedings of the ninth conference June 20-22, 2003

by Tennenholtz, Moshe, Ed.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: University of Indiana 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEN.

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.

BOOKS
Using the Internet contribution by John R. Harris.

by Tolhurst, William A | Pike, Mary Ann | Blanton, Keith A.

Edition: Special ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Indianapolis, IN : Que, 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 1 Call number: 681.3.06 TOL.

BOOKS
World Wide Web bible

by Pfaffenberger, Bryan.

Edition: 1st Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York MIS:Press 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PFA.

BOOKS
X a guide for users

by Smith, Jerry D.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J. Prentice Hall 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 1 Call number: 681.3.06 SMI.

BOOKS
Postscript language reference manual Adobe Systems

by Addison-Wesley.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 31 Call number: 681.3.06 AWP.

BOOKS
Intel Xeon Phi processor high performance programming

by Jeffers, Jim | Reinders, James | Sodani, Avinash.

Edition: Knights Landing edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Morgan Kaufmann (Imprint of Elsevier) 2016Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 JEF.

BOOKS
High performance parallelism pearls multicore and many-core programming approaches Volume 2

by Reinders James | Jeffers, Jim.

Series: ; 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Morgan Kaufmann (Imprint of Elsevier) 2015Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 48 Call number: 681.3.06 REI.

BOOKS
Mathematica book version 3

by Wolfram, Stephen.

Edition: 3Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1996Availability: No items available : Checked out (1).

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha