IMSc Library catalog › Results of search for 'ccl=su:"Computer Science."'

			Proceedings Fifth annual IEEE symposium on Logic in computer science June 4-7, 1990, Philadelphia Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos IEEE Computer Society Press 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Eleventh annual IEEE symposium on Logic in Computer Science July 27-30, 1996, New Brunswick, New Jersey by IEEE Computer Society. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: IEEE Computer Society Press 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Proceedings of International Conference on Application of Concurrency to System Design March 23-26, 1998, Fukushima, Japan Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos, CA IEEE Computer Society Press 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 4 Call number: 681.3 IEEE. Place hold Log in to add tags
			Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California by Halpern, Joseph Y \| Halpern, Joseph Y. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL. Place hold Log in to add tags
			Theoretical aspects of Reasoning about knowledge (TARK 1990) Proceedings of the Third conference March 4-7, 1990. Pacific Grove, California by Parikh, Rohit, Ed. Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Pacific Grove, California Morgan Kaufmann Publishers 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PAR. Place hold Log in to add tags
			Theoretical aspects of Reasoning about knowledge (TARK 1994) Proceedings of the fifth conference by Fagin, Ronald, Ed. Material type: 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. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge (TARK 1996) Proceedings of the sixth Conference by Shoham, Yoav, Ed. Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge(TARK 2009) Proceedings of the twelfth conference July 6-8 2009 by Heifetz, Aviad, Ed. Material type: 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. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge (TARK 1998) Proceedings of the Seventh Conference by Gilboa, Itzhak, Ed. Material type: 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. Place hold Log in to add tags
			Theoretical aspects of Rationality and knowledge (TARK 2003) proceedings of the ninth conference June 20-22, 2003 by Tennenholtz, Moshe, Ed. Material type: 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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			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;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. Log in to add tags
			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;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 . Log in to add tags
			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;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. Log in to add tags
			Using the Internet contribution by John R. Harris. by Tolhurst, William A \| Pike, Mary Ann \| Blanton, Keith A. Edition: Special ed.Material type: 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. Place hold Log in to add tags
			World Wide Web bible by Pfaffenberger, Bryan. Edition: 1st Material type: 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. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 9619 results.