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.)
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products
  • PDF
  • English
  • Year: 1980
  • Author: R. C. Anderson Ph. D., B. Sc., Prof. B. Fraser-Reid, Dr. H. Jones, Dr. T. Kasai, Prof. P. O. Larsen, Prof. S. Liaaen-Jensen, Dr. G. H. Rasmusson (auth.), Dr. W. Herz, Prof. Dr. H. Grisebach, G. W. Kirby Sc. D. (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.)
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.)
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.)
Infrared Transmission Spectra of Carbonate Minerals
  • PDF
  • English
  • Year: 1993
  • Author: G. C. Jones, B. Jackson (auth.)
Sediment/Water Interactions: Proceedings of the Fifth International Symposium
  • PDF
  • English
  • Year: 1992
  • Author: Wilbert Lick, James Lick, C. Kirk Ziegler (auth.), B. T. Hart, P. G. Sly (eds.)
Science and Technology of the Undercooled Melt: Rapid Solidification Materials and Technologies
  • PDF
  • English
  • Year: 1986
  • Author: B. Cantor (auth.), P. R. Sahm, H. Jones, C. M. Adam (eds.)
Computational Methods and Experimental Measurements: Proceedings of the International Conference, Washington D.C., July 1982
  • PDF
  • English
  • Year: 1982
  • Author: James T. P. Yao (auth.), G. A. Keramidas, C. A. Brebbia (eds.)
search