| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings | Taschenbuch | 978-3-540-70543-7 | 2008 | Sharad Malik | |
| Psychiatric Ethics in Late-Life Patients: Medicolegal and Forensic Aspects at the Interface of Mental Health | " | 978-3-030-15171-3 | 2019 | Meera Balasubramaniam · Rajesh R. Tampi | |
| SAT-Based Scalable Formal Verification Solutions | Hardcover | 978-0-387-69166-4 | 2007 | Malay Ganai | |
| Transparency in Global Environmental Governance: Critical Perspectives | " | 978-0-262-02741-0 | 2014 | Ann Florini · Arthur P.J. Mol · Bharath Jairaj · Kees Jansen · Michael Mason | |
| Transparency in Global Environmental Governance: Critical Perspectives | Paperback | 978-0-262-52618-0 | 2014 | Ann Florini · Arthur P.J. Mol · Bharath Jairaj · Kees Jansen · Michael Mason |