|
|
|
|
Reminiscing Ideas and Interactions by Chakraborty, Mihir Kr. Material type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Kalkatta Calcutta Logic Circle 2011Availability: No items available :
|
|
|
|
|
Reminiscing Ideas and Interactions by Chakraborty, Mihir Kr. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Kalkatta Calcutta Logic Circle 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Second Conference on Foundations of Software Technology and Theoretical Computer Science by National Centre for Software Development and Computing Techniques(TIFR) Editor. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Bombay National Centre for Software Development and Computing Techniques Tata Institute of fundamental Research Colaba Bangalore, India, 13-15 December 1982. 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681 TIFR.
|
|
|
|
|
|
|
|
|
|
Modern applications of automata theory by Dsouza Deepak, Shankar Priti. Series: IISc research monographs series ; Vol. 2Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: New Jersey World Scientific (IISc Press) 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 DSO.
|
|
|
|
|
Perspectives in Concurrency Theory festschrift for P. S. Thiagarajan by Lodaya Kamal. Ed | Madhavan, Mukund | Ramananujam. Series: IARCSMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Hyderabad University press 2009Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LOD.
|
|
|
|
|
|
|
|
|
|
Interpreting Gödel : critical essays by Kennedy, Juliette. Ed | Kennedy, Juliette. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: New York Cambridge University Press 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KEN.
|
|
|
|
|
Advanced data structures by Brass, Peter. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Cambridge New York Cambrige University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BRA.
|
|
|
|
|
Social media mining : an introduction Reza Zafarani, Arizona State University, Tempe, Mohammad Ali Abbasi, Arizona State University, Tempe, Huan Liu, Arizona State University, Tempe. by Zafarani, Reza | Abbasi, Mohammad Ali | Liu, Huan. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: New york Cambridge University Press 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 ZAF.
|
|
|
|
|
|
|
|
|
|
Understanding Machine Learning : from theory to Algorithms by Shwartz, Shai Shalev ; David Shai ben. ;Language: English Language: Eng Publication details: New York Cambridge University Press 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SHW.
|
|
|
|
|
Artificial Intelligence : Foundations of Computational Agents by Poole, David L | Mackworth, Alan K. Edition: 2;Language: English Language: Eng Publication details: New York Cambridge University Press 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 POO.
|
|
|
|
|
Logical foundations of Computer Science by Artemov, Sergei | Nerode, Anil Eds. Series: Lecture Notes in Computer Science ; 9537Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
Definability and decidability in first order theories of graph order by Ramanathan Thinniyam Srinivasan [author]. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: Eng Publication details: 2019Dissertation Note: Ph.D HBNIAdvisor(s): Ramanujam, R..Availability: Items available for loan: IMSc Library (1). Location(s): Call number: HBNI Th147.
|
|
|
|
|
|
