| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings | 978-3-642-33385-9 (3-642-33385-0) | 2012 | Supratik Chakraborty | |
| FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, ... Notes in Computer Science , Band 2245) | 978-3-540-43002-5 (3-540-43002-4) | 2008 | V. Vinay · Ramesh Hariharan | |
| Perspectives in Concurrency | 978-1-4398-0943-3 (1-4398-0943-7) | 2009 | Kamal Lodaya |