| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Communicating with XML | Hardcover | 978-1-4614-0991-5 | 2011 | Airi Salminen | |
| Communicating with XML | Paperback | 978-1-4614-0993-9 | 2011 | " | |
| Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Taschenbuch | 978-3-319-42546-7 | 2016 | Michael Kohlhase · Moa Johansson · Bruce Miller · Leonardo de Moura | |
| Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Paperback | 978-3-319-42548-1 | 2016 | Michael Kohlhase · Moa Johansson · Bruce Miller · Leonardo de Moura |
F.T. · Ferencné Tömpe · Ferencne Tompe · Frances Toynbee · Francesco Tampoia