|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Mukund, Madhavan | Paperback | 3642333850 /
9783642333859 | 08/2012 | $52.24 |
|  | Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding 2001 Edition (Lecture Notes in Computer Science) | Hariharan, Ramesh | Paperback | 3540430024 /
9783540430025 | 11/2001 | $52.24 |
|  | Perspectives in Concurrency | Lodaya, Kamal | Hardcover | 1439809437 /
9781439809433 | 03/2009 | $56.95 |
|
|
|