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ț: 327^.20 lei 409^.00 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ț: 334^.82 lei 418^.53 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^.42 lei 1224^.28 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%