Home Advanced Search

Advanced Search - Page 1

  • PDF
  • English
  • Year: 1952
  • Author: E. C. Woodcock
The 1000 Hells (Kindred of the East)
  • PDF
  • English
  • Year: 1999
  • Author: Kraig Blackwelder, Tim Clancy, Geoffrey C. Grabowski, Lindsay Woodcock, Jack Norris, Richard E. Dans
A Geometrical Study of the Elementary Catastrophes
  • PDF
  • English
  • Year: 1974
  • Author: A. E. R. Woodcock, T. Poston (auth.)
A Geometrical Study of the Elementary Catastrophes
  • DJVU
  • English
  • Year: 1974
  • Author: A. E. R. Woodcock, T. Poston (auth.)
A Geometrical Study of the Elementary Catastrophes
  • PDF
  • English
  • Year: 1974
  • Author: A. E. R. Woodcock, T. Poston (auth.)
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)
Design of Assistive Technology for Ageing Populations
  • PDF
  • English
  • Year: 2020
  • Author: Andree Woodcock, Louise Moody, Deana McDonagh, Ajita Jain, Lakhmi C. Jain
search