|
|
|
|
|
|
|
|
|
|
|
Foundations of sofware technology and theoretical computer science FSTTCS 2008 28th annual conference Bangalore, december 9-11, 2008 proceedings by Hariharan, Ramesh, Ed | Mukund, Madhavan, Ed | Vinay, V, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Bangalore ; Indian Association for research in computing science (IARCS) ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 FSTTCS.
|
|
|
|
Perspectives in concurrency theory festschrift for P. S. Thiagarajan by Lodaya, Kamal, Ed | Mukund, Madhavan, Ed | Ramanujam, R, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Hyderabad University Press India 2009Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 15 Call number: 681.3 LOD.
|
|
|
|
FSTTCS: Foundations of software technology and theoretical computer science 28th annual conference Bangalore,India December 9 - 11, 2008 proceedings by Hariharan, Ramesh, Ed | Mukund, Madhavan, Ed | Vinay, V, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Chennai ; Indian Association for Research in Computing Science ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 FSTTCS.
|
|
|
|
|
|
|
|
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund. by Hariharan, Ramesh | Vinay, V | Mukund, Madhavan. Series: Material type: Text Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund. by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan. Series: Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.
|
|
|
|
|