Home Books

Books : Page 31091

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
TEX in practice. Vol.2
  • DJVU
  • English
  • Year: 1993
  • Author: Stephan v. Bechtolsheim
Mobile Computing Handbook
  • PDF
  • English
  • Year: 2004
  • Author: Mohammad Ilyas, Imad Mahgoub
Professor Stewart's Cabinet of Mathematical Curiosities
  • PDF
  • English
  • Year: 2009
  • Author: Ian Stewart
Технология материалов и изделий электронной техники: Лабораторный практикум
  • PDF
  • Russian
  • Year: 2007
  • Author: Кротова Г.Д., Дубровин В.Ю., Титов В.А., Шикова Т.Г.
Kant, Foucault, and Forms of Experience
  • PDF
  • English
  • Year: 2008
  • Author: Marc Djaballah
Encyclopedia Of Protestantism (Encyclopedia of World Religions)
  • PDF
  • English
  • Year: 2005
  • Author: J. Gordon Melton