Home Advanced Search

Advanced Search - Page 1

Machine learning and automated theorem proving
  • DJVU
  • English
  • Year: 2010
  • Author: Bridge, James P
Techniques for Solving Boolean Equation Systems
  • PDF
  • English
  • Author: Misa Keinanen
Salish Etymological Dictionary
  • PDF
  • English
  • Year: 2002
  • Author: Aert H. Kuipers
Quadrupole focusing lenses for charged particles
  • PDF
  • English
  • Year: 1953
  • Author: Bruce Cork; Emery Zajec; University of California, Berkeley. Radiation Laboratory
Low-order dynamic modeling of the experimental breeder reactor II
  • PDF
  • English
  • Year: 1990
  • Author: R C Berkan; B R Upadhyaya; R A Kisner; United States. Office of Technology Support Programs.; Oak Ridge National Laboratory. Instrumentation and Controls Division.; All authors
Nuclear criticality safety experiments, calculations, and analyses, 1958 to 1982 : compilation of papers from the Transactions of the American Nuclear Society
  • PDF
  • English
  • Year: 1982
  • Author: Brian L Koponen
Theory of the fireball
  • PDF
  • English
  • Year: 1964
  • Author: Hans Albrecht Bethe
Linear algebra methods in combinatorics with applications to geometry and computer science
  • DJVU
  • English
  • Year: 1992
  • Author: Lʹaszló Babai
A really temporal logic
  • RAR
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
A really temporal logic
  • PDF
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
search