| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| A War of Memories: Builth Wells 1939-1945 | Paperback | | 978-0-9515114-1-1 | 2012 | Mal Morrison · Robert Warlow · Felicity Gill · David Bridgeman · Pat Power · Dennis Jones · Enid Jones |
| Builth Wells: Photographs of Old | " | | 978-0-9515114-3-5 | 2009 | Mal Morrison · Robert Warlow · Dennis Jones |
| FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, ... Notes in Computer Science , Band 1708) | Taschenbuch | | 978-3-540-66587-8 | 1999 | Jeannette M. Wing · Jim Woodcook |
| FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... Notes in Computer Science , Band 1709) | " | | 978-3-540-66588-5 | 1999 | Jeannette M. Wing · Jim Woodcook |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings | Paperback | | 978-3-662-17403-6 | 2014 | Wolfram Schulte · Mike Barnett |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... Notes in Computer Science , Band 3308) | Taschenbuch | | 978-3-540-23841-6 | 2008 | Mike Barnett · Wolfram Schulte |
| Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... Notes in Computer Science, Band 6527) | " | | 978-3-642-19828-1 | 2011 | Leila Silva · Adenilso Simao |
| GNU Scientific Library Reference Manual | Paperback | | 978-0-9541617-3-6 | 2006 | Mark Galassi · James Theiler |
| Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings | Taschenbuch | | 978-3-540-73209-9 | 2007 |
| ITIL Foundation All-in-One Exam Guide | " | | 978-0-07-184160-3 | 2016 |
| Riveted | Hardcover | | 978-1-137-27901-9 | 2014 |
| ROYAL MAIL SPECIAL STAMPS 18: THE STORIES BEHIND THE STAMPS | " | | 978-0-946165-00-1 | 2001 |
| Specification and Proof in Real Time CSP | Paperback | | 978-1-107-40386-4 | 2012 |
| Specification and Proof in Real Time CSP | Printed Access Code | | 978-0-511-56976-0 | 2010 |
| Specification and Proof in Real Time CSP | Hardcover | | 978-0-521-45055-3 | 1993 |
| The Bard & Co: Shakespeare's Role in Modern Business | Paperback | | 978-1-905736-18-8 | 2007 | John Simmons · Rob Williams |
| The Book of Guinness Advertising | " | | 978-0-85112-067-6 | 1998 |
| Using Z: Specification, Refinement, and Proof | " | | 978-0-13-948472-8 | 1996 | Jim Woodcock |