1, 2, 3 to the zoo : a counting book /

by Carle, Eric
Published 1987

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Published 1980

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

Published 1982

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

Published 1984

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /

Published 1986

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Published 1988

Abscissas and weights for Guassian : [sic] quadrature for N=2 to 100, and N=125, 150, 175, 200 /

by Love, Carl H.
Published 1966

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems /

by Geurts, Frédéric
Published 1998

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /

Published 1980

Abstracts and summaries of the Bureau of Standards publications on stray-current electrolysis /

by Shepard, Edgar Raymond, 1880-
Published 1933

Abstracts of papers /

Abstracts with programs /

Acceleration due to gravity at the National Bureau of Standards /

by Tate, Douglas Roy, 1912-
Published 1968

Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings /

Published 1986

Acid-base behavior in aprotic organic solvents.

by Davis, Marion Maclean, 1901-
Published 1968

Acoustic performance of 16-millimeter sound motion-picture projectors /

by Snyder, Wilbert F.
Published 1942

Acta chemica Scandinavica.

Published 1947

Acta crystallographica.

Acta crystallographica.

Published 1967

Acta crystallographica.

Published 1983