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
Web-based Supply Chain Management and Digital Signal Processing: Methods for Effective Information Administration and Transmission (Premier Reference Source)
  • PDF
  • English
  • Year: 2009
  • Author: Manjunath Ramachandra, Manjunath Ramachandra
Professor Stewart's Cabinet of Mathematical Curiosities
  • PDF
  • English
  • Year: 2009
  • Author: Ian Stewart
Учебно-методические указания по вводно-коррективному курсу фонетики немецкого языка для гуманитарных и естественных факультетов. Часть 1
  • PDF
  • Russian
  • Year: 2006
  • Author: Архипкина Г.Д., Гончарова О.Е.
Технология материалов и изделий электронной техники: Лабораторный практикум
  • 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
Теоретическая механика: Методические указания и схемы заданий к расчетно-графическим работам
  • PDF
  • Russian
  • Year: 2009
  • Author: Бабанов В.В., Лаппо Е.Л., Сахновский Д.С.
search