| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings | Paperback | 978-3-662-19061-6 | 2014 | Stephane Kaplan |
| Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings | Taschenbuch | 978-3-540-54317-6 | 2008 | " |
| Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration | " | 978-3-642-02001-8 | 2009 | Veronique Cortier · Claude Kirchner · Hideki Sakurada |
| Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers | " | 978-3-540-00708-1 | 2008 | Hideyuki Tokuda · Andre Scedrov · Benjamin Pierce · Akinori Yonezawa |