IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Computer science and holdingbranch:imsclib'

			Johan van Benthem on Logic and Information Dynamics by Baltag, Alexandru, Ed \| Smets, Sonja, Ed. Series: Outstanding contributions to Logic ; 5Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Heildelberg Springer 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL. Place hold Log in to add tags
			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;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. Place hold Log in to add tags
			Changing for the better Preference dynamics and agent diversity by Liu, Fenrong. Series: ILLC Dissertation Series; DS-2008-02Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The Institute for Logic, Language and Computation (ILLC) 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LIU. Place hold Log in to add tags
			Epistemic modelling & protocol dynamics by Wang, Yanjing. Series: ILLC Dissertation series; DS-2010-06Material type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands The Institute for Logic, Language and Computation 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WAN. Place hold Log in to add tags
			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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 9537 results.