Home Advanced Search

Advanced Search - Page 1

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
  • PDF
  • English
  • Year: 1993
  • Author: Dan Craigen, Susan Gerhart, Ted Ralston (auth.), J. P. Bowen MA, J. E. Nicholls MA (eds.)
Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991
  • PDF
  • English
  • Year: 1992
  • Author: Alf Smith (auth.), J. E. Nicholls MA (eds.)
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
  • PDF
  • English
  • Year: 1995
  • Author: Dan Craigen and Susan Gerhart (Auth.)
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
  • PDF
  • English
  • Year: 1994
  • Author: Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)
Ethics in Reproductive Medicine
  • PDF
  • English
  • Year: 1992
  • Author: P. R. Braude (auth.), David R. Bromham PhD, FRCOG, Maureen E. Dalton MB BS, MRCOG, Jennifer C. Jackson MA, Peter J. R. Millican MA, B Phil (eds.)
Universal Access and Assistive Technology: Proceedings of the Cambridge Workshop on UA and AT ’02
  • PDF
  • English
  • Year: 2002
  • Author: J. Coy (auth.), Simeon Keates MA, PhD, Patrick Langdon BSc, PhD, P. John Clarkson MA, PhD, MIEE, CEng, Peter Robinson MA, PhD, FBCS, CEng (eds.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Strategies and Technologies for Healthcare Information: Theory into Practice
  • PDF
  • English
  • Year: 1999
  • Author: Marion J. Ball EdD, Judith V. Douglas MA, MHS, David E. Garets (auth.), Marion J. Ball EdD, Judith V. Douglas MA, MHS, David E. Garets (eds.)
Oncogene-Directed Therapies
  • PDF
  • English
  • Year: 2003
  • Author: Susan J. Done MA, MB, BCHIR, PhD, FRCPC, Jeremy A. Squire PhD (auth.), Janusz Rak MD, PhD (eds.)
Umweltökonomie und zukunftsfähige Wirtschaft: Eine annotierte Bibliographie
  • PDF
  • German-English
  • Year: 1994
  • Author: Dr. Maria J. Welfens, Nadja Schiemann MA (auth.), Dr. Maria J. Welfens, Nadja Schiemann MA (eds.)
search