Home Books

Books : Page 3663

Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1992
  • PDF
  • English
  • Year: 1993
  • Author: L.J.M. Claesen, M.J.C. Gordon
Esoteric Astrology
  • PDF
  • English
  • Year: 2009
  • Author: Alice Bailey, Djwhal Khul
Memorials of Stoke Bishop. Its Church and First Vicar
  • PDF
  • English
  • Year: 1997
  • Author: David T. Wright (Auth.)
Re-Entry and Vehicle Design. Proceedings of the Fifth Symposium on Ballistic Missile and Space Technology, Held in los Angeles, California, in August, 1960
  • PDF
  • English
  • Year: 1960
Lacunary Polynomials Over Finite Fields
  • PDF
  • English
  • Year: 1973
  • Author: L. Rédei (Auth.)
Německá revoluce 1918–1919
  • PDF
  • Czech
  • Year: 1998
  • Author: Sebastian Haffner
Photoelasticity. Proceedings of the International Symposium Held at Illinois Institute of Technology, Chicago, Illinois, October 1961
  • PDF
  • English
  • Year: 1963
Contributions to Universal Algebra
  • PDF
  • English
  • Year: 1977
  • Author: B. Csakany, J. Schmidt
Fundamentals of Yarn Winding
  • PDF
  • English
  • Year: 2013
  • Author: Milind Vasudeo Koranne (Auth.)
Defending Cyberspace, and Other Metaphors
  • PDF
  • English
  • Year: 1997
  • Author: Martin C. Libicki
search