Home Advanced Search

Advanced Search - Page 1

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.)
Quantitative Analysis of Mineral and Energy Resources
  • PDF
  • English
  • Year: 1987
  • Author: F. P. Agterberg (auth.), C. F. Chung, A. G. Fabbri, R. Sinding-Larsen (eds.)
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.)
Infrared Transmission Spectra of Carbonate Minerals
  • PDF
  • English
  • Year: 1993
  • Author: G. C. Jones, B. Jackson (auth.)
Conflict and Catastrophe Medicine: A Practical Guide
  • PDF
  • English
  • Year: 2009
  • Author: David R. Steinbruner (auth.), Adriaan P. C. C. Hopperus Buma, David G. Burris, Alan Hawley, James M. Ryan, Peter F. Mahoney (eds.)
Nutrition and Caries
  • PDF
  • English
  • Year: 1961
  • Author: B. C. P. Jansen (auth.), B. C. P. Jansen (eds.)
Prostanoids and Drugs
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Samuelsson (auth.), B. Samuelsson, F. Berti, G. C. Folco, G. P. Velo (eds.)
Drugs Affecting Leukotrienes and Other Eicosanoid Pathways
  • PDF
  • English
  • Year: 1986
  • Author: Bengt Samuelsson (auth.), B. Samuelsson, F. Berti, G. C. Folco, G. P. Velo (eds.)
Atoms in Astrophysics
  • PDF
  • English
  • Year: 1983
  • Author: P. G. Burke, W. Eissner (auth.), P. G. Burke, W. B. Eissner, D. G. Hummer, I. C. Percival (eds.)
Processing of Poultry
  • PDF
  • English
  • Year: 1995
  • Author: B. Erdtsieck (auth.), G. C. Mead (eds.)
search