Home Books

Books : Page 75010

Introduction to Higher-Order Categorical Logic
  • PDF
  • English
  • Year: 1988
  • Author: J. Lambek, P. J. Scott
Simulation, Modeling, and Programming for Autonomous Robots: Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Brian P. Gerkey (auth.), Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar von Stryk (eds.)
Методы почвенной микробиологии и биохимии.
  • DJVU
  • Russian
  • Year: 1991
  • Author: Звягинцев Д.Г.
4000 мотивов. Цветы и растения
  • DJVU
  • Russian
  • Year: 2006
  • Author: Г. Л. Маккэлэм
Справочник слесаря по топливной аппаратуре двигателей
  • DJVU
  • Russian
  • Year: 1990
  • Author: А.А.Зарин, А.Э.Зарин, В.Е.Логинов, М.П.Пшеноков.
Теория автоматического управления.
  • DJVU
  • Russian
  • Year: 2007
  • Author: Власов К.П.
Дисковые насосы.
  • DJVU
  • Russian
  • Year: 1986
  • Author: Мисюра В.И. и др.
Некариозные поражения тканей зуба
  • DJVU
  • Russian
  • Year: 1985
  • Author: Грошиков М.И.
From Logic to Logic Programming
  • PDF
  • English
  • Year: 1994
  • Author: Kees Doets
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)
search