Home Books

Books : Page 83025

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
Predicative arithmetic
  • DJVU
  • English
  • Year: 1987
  • Author: Edward Nelson
Computational Intelligence and Security: International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Lijuan Li, Zhibin Huang, Feng Liu (auth.), Yuping Wang, Yiu-ming Cheung, Hailin Liu (eds.)
Курс высшей математики
  • DJVU
  • Russian
  • Year: 1959
  • Author: Смирнов В.И.
Dictionary of quotations
  • PDF
  • English
  • Year: 2005
Современные операционные системы
  • DJVU
  • Russian
  • Year: 2010
  • Author: Таненбаум Э.(Tanenbaum)
Scientific American inventions and discoveries: all the milestones in ingenuity
  • PDF
  • English
  • Year: 2004
  • Author: Rodney Carlisle, Scientific American
Classical Microlocal Analysis in the Space of Hyperfunctions
  • DJVU
  • English
  • Year: 2000
  • Author: Seiichiro Wakabayashi (eds.)