Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

Auditory physiology and perception : proceedings of the 9th International Symposium on Hearing held in Carcens, France, on 9-14 June, 1991

Iodine prophylaxis following nuclear accidents : proceedings of a joint WHO/CEC workshop, July 1988

Towards a second green revolution : from chemical to new biological technologies in agriculture in the tropics : proceedings of the international meeting, held in Rome, Italy, 8-10 September, 1986

Heating in toroidal plasmas II : proceedings of the 2nd Joint Grenoble-Varenna International Symposium, Como, Italy, 3-12 September 1980

Information symposium, measurement and control techniques in rolling, Luxembourg, 2 and 3 September 1981

Animals and environmental fitness : physiological and biochemical aspects of adaptation and ecology : proceedings of the first conference of the European Society for Comparative Physiology and Biochemistry, 27 to 31 August 1979, Liège, Belgium

Heating in toroidal plasmas : proceedings of the symposium held at the Centre d'Etudes Nucléaires, Grenoble, France, 3-7 July 1978

Tokamak reactors for breakeven : a critical study of the near-term fusion reactor program, Erice-Trapani (Sicily), 21 September-1 October, 1976

The evaluation of toxicological data for the protection of public health : proceedings of the International Colloquium, Luxembourg, December 1976

Proceedings of the International Symposium on Plasma Wall Interaction, Jülich (FRG) 18-22 October 1976

Proceedings