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

			No cover image available Parameterizing from the extremes: Feasible parameterizations of some NP-Optimization problems by Somnath Sikdar [author]. Material type: Text Publication details: 2010Dissertation Note: 2010 ; Ph.D ; HBNIAdvisor(s): Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 22 . Place hold Log in to add tags
			No cover image available The Kernelization complexity of some domination and covering problems by Geevarghese Philip [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th44. Place hold Log in to add tags
			No cover image available A Logical Study of Strategies in Games by Simon, Sunil Easaw [author]. Material type: Text Language: English Publication details: 2010Dissertation Note: 2010 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 15 . Place hold Log in to add tags
			No cover image available Forbidden subgraph colorings, Oriented colorings and intersection dimensions of graphs by Aravind, N. R [author]. Material type: Text Publication details: 2010Dissertation Note: 2010 ; Ph.D ; HBNIAdvisor(s): Balasubramanian, R.; Subramanian, C.R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 32 . Place hold Log in to add tags
			No cover image available Counter automata and classical logics for data words by Amaldev Manuel [author]. Material type: Text Publication details: 2012Dissertation Note: 2012 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI TH 42 . Place hold Log in to add tags
			No cover image available New Directions in Arithmetic and Boolean Circuit Complexity by Srikanth Srinivasan [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Arvind, V..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 28 . Place hold Log in to add tags
			No cover image available Complexity Analysis of someProblems in Planar Graphs, Bounded Tree-Width Graphs, and Planar Point Sets by Prajakta Nimbhorkar [author]. Material type: Text Publication details: 2010Dissertation Note: 2010 ; Ph.D ; Advisor(s): Meena Mahajan.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th 27 . Place hold Log in to add tags
			No cover image available A Computational study of strategy switching in large games by Soumya Paul [author]. Material type: Text Publication details: 2012Dissertation Note: 2012 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI TH 40 . Place hold Log in to add tags
			No cover image available Parameterized complexity of some problems in concurrency and verification by Praveen, M [author]. Material type: Text Publication details: 2011Dissertation Note: 2011 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th39 . Place hold Log in to add tags
			No cover image available Regular quantifiers in Logics by Sreejith, A.V [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th64 . Place hold Log in to add tags
			No cover image available Dynamic Programming using Representative Families by Fahad, P [author]. Material type: Text Publication details: 2015Dissertation Note: 2015 ; Ph.D ; HBNIAdvisor(s): Saket Saurabh; Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th87 . Place hold Log in to add tags
			No cover image available Temporal specifications of client-server systems and unbounded Agents by Sheerazuddin, S [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Ramanujam, R..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th49 . Place hold Log in to add tags
			No cover image available Parameterized graph separation problems: new techniques and algorithms by Ramanujan, M.S [author]. Material type: Text Publication details: 2013Dissertation Note: 2013 ; Ph.D ; HBNIAdvisor(s): Saket Saurabh; Venkatesh Raman.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th59 . Place hold Log in to add tags
			No cover image available On verifying proofs in constant depth, and polynomial identity testing by Karteek Sreenivasaiah [author]. Material type: Text Publication details: 2014Dissertation Note: 2014 ; Ph.D ; HBNIAdvisor(s): Meena Mahajan.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th76 . Place hold Log in to add tags
			No cover image available On certain invariants of random digraphs and uniform hypergraphs by Kunal Dutta [author]. Material type: Text Publication details: 2014Dissertation Note: 2014 ; Ph.D ; HBNIAdvisor(s): C.R. Subramanian.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th68 . Place hold Log in to add tags
			No cover image available Labelled free choice petri nets, finite product Automata, and Expressions by Phawade Ramchandra Babasaheb [author]. Material type: Text Publication details: 2014Dissertation Note: 2014 ; Ph.D ; HBNIAdvisor(s): Kamal Lodaya.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th83 . Place hold Log in to add tags
			No cover image available The Complexity of some exact and approximate isomorphism problems by Yadu Vasudev [author]. Material type: Text Publication details: 2014Dissertation Note: 2014 ; Ph.D ; HBNIAdvisor(s): Arvind, V..Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th80 . Place hold Log in to add tags
			Special Topics in Mathematics for Computer Scientists Sets Categories Topologies and Measures by Doberkat, Ernst-Erich. Material type: Text Publication details: New York Springer 2015Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOB. Place hold Log in to add tags
			Secret History The Story of Cryptology by Bauer, Craig. P. Series: Discrete Mathematics and its Applications ; 00076Material type: Text Publication details: Boca Raton CRC Press 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAU. Place hold Log in to add tags
			Student Handbook for Discrete Mathematics with Ducks Student Reference Review Supplemental Learning and Example Handbook (SRRSLEH) by Belcastro, Sarah-Marie. Material type: Text Publication details: Boca Raton CRC Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 41 Call number: 510 BEL. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 9614 results.