Cărți de Madhavan Mukund

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7561

Editat de Madhavan Mukund et al.

16 aug 2012

Preț: 330^.31 lei 412^.88 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2245

Editat de Ramesh Hariharan et al.

28 noi 2001

Preț: 338^.00 lei 422^.50 lei

6-8 săpt.

-20%

Formal Models, Languages and Applications

Series in Machine Perception and Artificial Intelligence

Autor Madhavan Mukund et al.

30 iun 2006

Preț: 979^.40 lei 1224^.25 lei

Se retipărește

-20%

Perspectives in Concurrency

Editat de Kamal Lodaya et al.

15 apr 2009

Preț: 268^.77 lei 380^.33 lei

3-5 săpt.

-29%