Jump to main content

yr 〜
yr

Search results 5

Automated technology for verification and analysis : 10th international symposium, ATVA 2012 : Thiruvananthapuram, India, October 3-6, 2012 : proceedings : Oct 2012, Thiruvananthapuram, India. (Lecture Notes in Computer Science ; 7561)

Automated technology for verification and analysis : 10th international symposium, ATVA 2012 : Thiruvananthapuram, India, October 3-6, 2012 : proceedings : Oct 2012, Thiruvananthapuram, India. (Lecture Notes in Computer Science ; 7561)
Paper図書
Springerc2012.<M17-13-818>
National Diet Library
  • Author HeadingATVA 2012 (2012 : Trivandrum, India) Chakraborty, Supratik. Mukund, Madhavan.

FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference : Bangalore, India, December 13-15, 2001 : proceedings. : Dec 2001, Bangalore, India. (Lecture Notes in Computer Science ; 2245)

FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference : Bangalore, India, December 13-15, 2001 : proceedings. : Dec 2001, Bangalore, India. (Lecture Notes in Computer Science ; 2245)
Paper図書
Springerc2001.<M17-03-2439>
National Diet Library
  • Author HeadingHariharan, Ramesh. Mukund, Madhavan. Vinay, V. Conference on Foun...

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

Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan
Paper図書
editors, Kamal Lodaya, Madhavan Mukund, R. RamanujamUniversities Pressc2009
Other Libraries in Japan
  • Author HeadingThiagarajan, P. S. Lodaya, Kamal Mukund, Madhavan Ramanujam, R.

Formal models, languages and applications

Formal models, languages and applications
Paper図書
editors, K.G. Subramanian, K. Rangarajan, M. MukundWorld Scientific2006
Other Libraries in Japan
  • Author HeadingSubramanian, K. G. Rangarajan, K. Mukund, Madhavan

FST TCS 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings

FST TCS 2001 : Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
Paper図書
Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading...iharan, Ramesh Mukund, Madhavan Vinay, V.

Reached to the end of result.

RSS