FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Perspectives in concurrency theory : a festschrift for P S Thiagarajan

by Lodaya, Kamal (ed.) | Mukund, Madhavan | Ramanujam, R.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Universities Press, ©2009Availability:
Items available for reference: IIITD [CBIA 511.3 LOD-P] (1).

2. FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :21st Conference Bangalore, India, December 13–15, 2001 Proceedings /

by Hariharan, Ramesh [editor.] | Vinay, V [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

3. Automated Technology for Verification and Analysis [electronic resource] :10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /

by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in