Home Books

Books : Page 14794

Adapting Proofs-as-Programs : The Curry-Howard Protocol
  • PDF
  • English
  • Year: 2005
  • Author: Iman Poernomo, John N. Crossley, Martin Wirsing
Handmade Electronic Music: The Art of Hardware Hacking
  • PDF
  • English
  • Year: 2006
  • Author: Nicolas Collins
Аукцион «Россия». Как продавали Аляску
  • DJVU
  • Russian
  • Year: 2010
  • Author: Миронов Иван Борисович
Йога делового человека
  • PDF
  • Russian
  • Year: 1991
  • Author: И.Н. Полтавцев
Income, Wealth, and the Maximum Principle
  • PDF
  • English
  • Year: 2003
  • Author: Martin L. Weitzman
Quantum Aspects of Light Propagation
  • PDF
  • English
  • Year: 2009
  • Author: Antonín Luk¿, Vlasta Perinová (auth.)
Curve and surface design
  • PDF
  • English
  • Year: 1992
  • Author: Hans Hagen
Mieux programmer en C++ : 47 problèmes pratiques
  • PDF
  • French
  • Year: 2000
  • Author: Sutter
Grammar as Processor: A Distributed Morphology account of spontaneous speech errors (Linguistik Aktuell / Linguistics Today)
  • PDF
  • English
  • Year: 2009
  • Author: Roland Pfau
Encyclopedia of Information Science and Technology
  • PDF
  • English
  • Year: 2005
  • Author: Mehdi Khosrow-Pour
search