Home Books

Books : Page 27710

A theory of formal deducibility
  • DJVU
  • English
  • Year: 1957
  • Author: Haskell Brooks Curry
Программирование: Теоремы и задачи
  • PDF
  • Russian
  • Year: 2004
  • Author: Шень А.
Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001 Washington, DC, USA, January 5–6, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Sándor P. Fekete, Henk Meijer, André Rohe, Walter Tietze (auth.), Adam L. Buchsbaum, Jack Snoeyink (eds.)
The non-local Universe: The new physics and matters of the mind
  • DJVU
  • English
  • Year: 2001
  • Author: Robert Nadeau, Menas Kafatos
STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986
  • DJVU
  • English-French
  • Year: 1986
  • Author: Flemming Nielson (auth.), B. Monien, G. Vidal-Naquet (eds.)
Beyond the Bounds: Open Theism and the Undermining of Biblical Christianity
  • PDF
  • English
  • Year: 2003
  • Author: John Piper, Justin Taylor, Paul Kjoss Helseth
A modern formal logic primer: predicate theory
  • DJVU
  • English
  • Year: 1989
  • Author: Paul Teller
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
  • PDF
  • English
  • Year: 2006
  • Author: Cynthia Dwork (auth.), Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.)
On Superconductivity and Superfluidity: A Scientific Autobiography
  • PDF
  • English
  • Year: 2008
  • Author: Vitaly L. Ginzburg
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
search