D. J. Duke
4 published titles
BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996
(Contributor)
1 edition
- ISBN: 3540761179
- Springer
- 1997
- Details
2nd BCS-FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997
(Contributor)
1 edition
- ISBN: 3540762159
- Springer
- 1998
- Details
PREMO : a framework for multimedia middleware : specification, rationale, and Java binding
1 edition
- ISBN: 3540667202
- Springer
- 1999
- Details
EUROVIS 2005 : Eurographics/IEEE VGTC Symposium on Visualization, Leeds, United Kingdom, June 1st-3rd, 2005
(Contributor)
1 edition
- ISBN: 3905673193
- Eurographics
- 2005
- Details
