| Titel | Art | ISBN-13 | Erscheinungsjahr |
|---|
| Advances in Computer Science - ASIAN 2007. Computer and Network Security: 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ... Notes in Computer Science , Band 4846) | Taschenbuch | 978-3-540-76927-9 | 2007 |
| Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... Notes in Computer Science , Band 5330) | " | 978-3-540-89438-4 | 2008 |
| The Deductive Spreadsheet | " | 978-3-662-51245-6 | 2016 |
| The Deductive Spreadsheet | Gebunden | 978-3-642-37746-4 | 2013 |