Home Books

Books : Page 81775

Proof and disproof in formal logic: an introduction for programmers
  • PDF
  • English
  • Year: 2005
  • Author: Richard Bornat
The SIMD Model of Parallel Computation
  • PDF
  • English
  • Year: 1994
  • Author: Robert Cypher, Jorge L. C. Sanz (auth.)
Object-Based Distributed Programming: ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Peter Wegner (auth.), Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
Frommer's Portable Berlin
  • PDF
  • English
The future of theoretical physics and cosmology: celebrating Stephen Hawking's 60th birthday
  • DJVU
  • English
  • Year: 2003
  • Author: G. W. Gibbons, E. P. S. Shellard, S. J. Rankin
Listen to me, Satan! : exercising authority over the devil in Jesus' name
  • EPUB
  • English
  • Year: 1998
  • Author: Carlos Annacondia
Schaum's outline of theory and problems of Fourier analysis
  • DJVU
  • English
  • Year: 1974
  • Author: Murray Spiegel
Macs for dummies
  • PDF
  • English
  • Year: 2004
  • Author: David Pogue
Integration of Natural Language and Vision Processing: (Volume II) Intelligent Multimedia
  • PDF
  • English
  • Year: 1995
  • Author: Paul Mc Kevitt (auth.), Paul Mc Kevitt (eds.)
Cosmology
  • PDF
  • English
  • Year: 2004
  • Author: Bartelmann M.
search