| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Dependability for Systems with a Partitioned State Space: Markov And Semi-Markov Theory And Computational Implementation | 978-0-387-94333-6 (0-387-94333-1) | 1994 | ||
| Dependability for Systems with a Partitioned State Space: Markov and Semi-Markov Theory and Computational Implementation | 978-3-540-94333-4 (3-540-94333-1) | 1994 | ||
| The Prolog Workbook: A Tutorial Approach with Sw1 Prolog | 978-1-85233-830-5 (1-85233-830-X) | 2005 | Peter Coxhead | |