| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Categories, Allegories | 978-0-444-70367-5 | 1990 | Peter J Freyd | |
| Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo held at Montecatini Terme, ... Mathematics / C.I.M.E. Foundation Subseries) | 978-3-540-52734-3 | 2009 | Steven Homer · Anil Nerode · Richard A. Platek · Gerald E. Sacks | |
| 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 · Mitsuhiro Okada · Benjamin Pierce · Akinori Yonezawa | |
| Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers | 978-3-319-71733-3 | 2017 | Vladimir Itsykson · Victor Zakharov |